Solution

ID: past-exam-of-the-probability-course-of-the-university-of-oxford/2017/1/b/i/solution

The answer is
It holds initially by construction. If it holds at step , then is a function of , so it is independent of the fresh inputs . Part (a)(iii) therefore gives . This completes the mathematical induction and identifies the stationary distribution of the recursion.

New to topics? Read the docs here!