Renewal interval containing a fixed time (source code)

= Renewal interval containing a fixed time

The renewal interval containing $t$ has length
$$
L(t)=S_{N_t+1}-S_{N_t}=\xi_{N_t+1}.
$$
Selection by a fixed observation time favours longer interarrival times.