Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-211/4/a/solution

Define
for , with . The supermartingale property makes , and it is -measurable, so is previsible and nondecreasing. The increments of have conditional mean zero, so is a martingale. Finally,
and summation gives the Doob decomposition in discrete time

New to topics? Read the docs here!