Maths Olympiad Prep

Library / HMMT February /1278 of 1302

HMMT February, 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 2−n2^{-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 n≥2n \geq 2 and 0 if n=1n=1. Thus, the total probability XX that 2 is picked is
P(S=2)=∑k=2∞2−kk P(S=2)=\sum_{k=2}^{\infty} \frac{2^{-k}}{k}
By the definition of conditional probability, P(N=n∣S=2)=P(N=n,S=2)P(S=2)=2−n/nXP(N=n \mid S=2)=\frac{P(N=n, S=2)}{P(S=2)}=\frac{2^{-n} / n}{X} if n≥2n \geq 2 and 0 if n=1n=1. Thus the conditional expectation of NN is
E[N∣S=2]=∑n=1∞n⋅P(N=n∣S=2)=∑n=2∞n⋅2−n/nX=1X∑n=2∞2−n=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=0∞xk=11−x\sum_{k=0}^{\infty} x^{k}=\frac{1}{1-x} for ∣x∣<1|x|<1. Integrating both sides with respect to xx yields
∑k=1∞xkk=−ln⁡(1−x)+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=1∞2−kk=ln⁡2\sum_{k=1}^{\infty} \frac{2^{-k}}{k}=\ln 2. Note that XX is exactly this summation but without the first term. Thus, X=ln⁡2−12X=\ln 2-\frac{1}{2}, so 12X=12ln⁡2−1\frac{1}{2 X}=\frac{1}{2 \ln 2-1}.

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

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