Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2009/ii/paper-3/26j/b/solution

Convolve three rate- exponential distributions. The first two have convolution density ; convolving once more gives
Thus is an Erlang distribution of shape three, equal in law to the sum of three independent exponentials. Addition of independent means and variances yields
For the moment-generating function is infinite.
Realize each holding time as a consecutive block of three exponential holding times from one Poisson process . The renewal count is then pathwise under this coupling. If is the remainder of modulo three, and . Taking expectations gives
This proves the formula without assuming that the renewal count itself is Poisson.

New to topics? Read the docs here!