Let be the distribution function of , write , and fix . Set
Conditioning on the first interarrival gives
Indeed, if , the first interval contains and must also have length at least ; if , the process starts afresh at time .
Put and . Then
where
In particular . Iterating the renewal equation yields
For fixed , the last term tends to zero in absolute value because is bounded and
It follows that
Thus the stochastic length bias of a renewal interval gives
for every .

Articles by others on the same topic (0)

There are currently no matching articles.