Let the random variables satisfy . Show that the sequence with and

where are given functions, is a martingale.

Once again, we let the sequence of decompositions be . Then is -measurable because (1) is -measurable, (2) is -measurable, and (3) is -measurable if .

Next, we show that