Uniforms Until the Sum Exceeds One
Question
Draw random numbers uniformly from , one at a time, and keep a running total. Stop as soon as the total is greater than . Let be the number of draws. Find .
Solution
Try it yourself first. Open a hint if you get stuck.
Hint 1
means the first draws add up to at most . Find for by drawing a picture.
Hint 2
For a count ,
Show solution
Call the draws
Step 1: When do we need more than draws? We are still going after draws exactly when the total so far has not passed :
So we need .
Step 2: Why .
Small cases first. . For , the point is uniform in the unit square, and is the triangle below the diagonal: half the square, so .
The general case, by sorting. Look at the running totals
The event says these totals are points in that come out in increasing order: .
Now compare with independent uniform points in . Two facts:
- Turning the draws into the totals is a one-to-one change of variables that keeps volume the same (each just adds the earlier draws, a shear). So "the totals land in increasing order inside " has the same probability as "".
- The points can come out in different orders, all equally likely, so one particular order has probability .
Therefore
Check: gives , matching the triangle; gives , the corner pyramid of the cube.
Step 3: From these probabilities to .
Why we can add the instead of multiplying by . The definition is . The shortcut rewrites as a count:
because is true for exactly values of , namely . Taking expectations of both sides,
Each draw count still gets weighted by ; it's just collected one layer at a time.
Shortcut:
Same answer the long way. . Then
Answer: .
Sanity check: each draw averages , so you might guess draws. But you always need at least , and sometimes or more, so the average has to be above .