Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/ii/paper-3/25k/b/solution

A renewal process has independent identically distributed, nonnegative, almost surely finite inter-arrival times , epochs , and count . Allowing zero inter-arrivals is harmless provided . The hypothesis ensures there is with .
The strong law of large numbers for the indicators gives , so is finite for finite . Conversely every fixed is finite, so eventually . On their countable common probability-one event, this proves .
For fixed , put . The hinted comparison process has epochs , hence . Equivalently,
If , for this is bounded by , by summing the first binomial distribution. Thus for . If , deterministically. Therefore a strictly positive exponential moment exists for every fixed finite , with the same allowed for all such . Almost-sure finiteness of the inter-arrivals is implicit in a proper renewal process; allowing an infinite inter-arrival with positive probability would invalidate the divergence claim.

New to topics? Read the docs here!