Maths Olympiad Prep

Library / /1367 of 1394

, 2019

Algebra Difficulty 6.3 National Olympiad Prove it United States

Problem:

Yannick picks a number NN randomly from the set of positive integers such that the probability that nn is selected is 2n2^{-n} for each positive integer nn. He then puts NN identical slips of paper numbered 1 through NN into a hat and gives the hat to Annie. Annie does not know the value of NN, but she draws one of the slips uniformly at random and discovers that it is the number 2. What is the expected value of NN given Annie's information?

Proposed by: Yuan Yao

Solution

Solution:

Let SS denote the value drawn from the hat. The probability that 2 is picked is 1n\frac{1}{n} if n2n \geq 2 and 0 if n=1n=1. Thus, the total probability XX that 2 is picked is
P(S=2)=k=22kk P(S=2)=\sum_{k=2}^{\infty} \frac{2^{-k}}{k}
By the definition of conditional probability, P(N=nS=2)=P(N=n,S=2)P(S=2)=2n/nXP(N=n \mid S=2)=\frac{P(N=n, S=2)}{P(S=2)}=\frac{2^{-n} / n}{X} if n2n \geq 2 and 0 if n=1n=1. Thus the conditional expectation of NN is
E[NS=2]=n=1nP(N=nS=2)=n=2n2n/nX=1Xn=22n=12X \mathbb{E}[N \mid S=2]=\sum_{n=1}^{\infty} n \cdot P(N=n \mid S=2)=\sum_{n=2}^{\infty} n \cdot \frac{2^{-n} / n}{X}=\frac{1}{X} \sum_{n=2}^{\infty} 2^{-n}=\frac{1}{2 X}
It remains to compute XX. Note that k=0xk=11x\sum_{k=0}^{\infty} x^{k}=\frac{1}{1-x} for x<1|x|<1. Integrating both sides with respect to xx yields
k=1xkk=ln(1x)+C \sum_{k=1}^{\infty} \frac{x^{k}}{k}=-\ln (1-x)+C
for some constant CC, and plugging in x=0x=0 shows that C=0C=0. Plugging in x=12x=\frac{1}{2} shows that k=12kk=ln2\sum_{k=1}^{\infty} \frac{2^{-k}}{k}=\ln 2. Note that XX is exactly this summation but without the first term. Thus, X=ln212X=\ln 2-\frac{1}{2}, so 12X=12ln21\frac{1}{2 X}=\frac{1}{2 \ln 2-1}.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.