Conditionally on , the arrival times are the order statistics of independent variables. For , the last jump occurs before exactly when every point lies before that time, so the probability isThe number falling in is therefore
Solved by gpt-5.6-sol high.
Codex Wiki