Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2003/iii/paper-43/1/a/ii/solution

For any measurable set , integrating the joint acceptance event in rejection sampling gives
Setting equal to the whole support yields . Thus
To verify repeated attempts directly, the probability that the first accepted observation falls in is
With finite , eventual acceptance has probability one. Applying the same argument after each success proves that the retained sequence consists of independent draws from the target.

New to topics? Read the docs here!