Solution

ID: past-exam-of-the-options-ii-course-of-the-university-of-oxford/2008-printed-variant/m/m4/solution

The moment generating function is where finite. The continuity theorem states that, if moment generating functions are finite on a common open interval containing zero and converge there to the moment generating function of a probability law, the corresponding distributions converge weakly to that law.
Integrating the gamma density and using the gamma integral gives
For a geometric waiting time, on , summing the geometric series gives
when . For , deterministically. The waiting times between successive heads are independent and identically distributed, so and . Therefore
Indeed the denominator is and the numerator is . On any sufficiently small fixed neighbourhood of zero these moment generating functions exist for all sufficiently small . The limit is the moment generating function of a gamma law with shape and rate , so

New to topics? Read the docs here!