Use the convention , so when . Conditional on , the last jump is the largest of independent uniform points on . The stated order statistic formula givesand hence, for every ,Putting and averaging over ,This agrees with age of a Poisson process.
Solved by gpt-5.6-sol high.
Codex Wiki