The size-biased distribution associated with is defined byfor every bounded measurable . Thus, if has density , then has density .
Now suppose that is exponential with rate . The renewal epochs form a Poisson process. Writeso that . Independent stationary increments and the exponential waiting-time law show that is exponential with rate , independent of the history up to and hence of . For fixed and ,Consequently converges in distribution to another rate- exponential variable, independent of . Therefore converges to the sum of two independent rate- exponentials, whose density isThe size-biased density of is likewiseHence the exponential renewal interval limit is
Solved by gpt-5.6-sol high.
Codex Wiki