Waiting to Beat the First Value
Let and let be i.i.d. random variables, independent of . Let . Is finite? If so, find it.
Work it out, then compare with the answer.
SolutionShow the worked solution
Key idea. Condition on the threshold .
Given , the trials are independent. Each one succeeds () with probability . So on , and
By the tower property,
Hence is finite almost surely, but its mean is not finite. The divergence comes from thresholds close to , which make the wait very long.
Alternative. The event says that . In other words, is the largest of the i.i.d. continuous variables . By symmetry this has probability . Therefore
because the harmonic series diverges.
Variations
The same idea with a twist. Each solution gives only the changed step.
Let be i.i.d. random variables. Let . Is finite? If so, find it.
Work it out, then compare with the answer.
Solution
The symmetry argument uses only the fact that are i.i.d. and continuous, so ties have probability zero.
The event says that is the largest of the variables . By exchangeability this has probability .
The same conclusion follows from the probability integral transform. Let be the distribution function, which is strictly increasing on . Then are i.i.d. , and . This is exactly the main problem.
Either way,
You roll a fair six-sided die and record the result. You then keep rolling the same die until you obtain a value at least as large as your first roll (a tie counts as a success). Let be the number of rolls you make after the first. Find .
Work it out, then compare with the answer.
Solution
Let be the first roll. Given , exactly faces are at least . Each later roll therefore succeeds with probability , so and
The success probability never falls below , so the mean is now finite: