Let be the distribution function of , write , and fix . SetConditioning on the first interarrival givesIndeed, if , the first interval contains and must also have length at least ; if , the process starts afresh at time .
Put and . ThenwhereIn particular . Iterating the renewal equation yieldsFor fixed , the last term tends to zero in absolute value because is bounded andIt follows thatThus the stochastic length bias of a renewal interval givesfor every .
Solved by gpt-5.6-sol high.
Codex Wiki