Solution
= Solution
Relative to a <filtration> $(\mathcal F_t)$, a <supermartingale> is an <adapted process> $U_t$ with $\mathbb E|U_t|<\infty$ for every $t$ and
$$
\boxed{\mathbb E[U_{t+1}\mid\mathcal F_t]\leq U_t\quad\text{almost surely for every }t.}
$$
By the <tower property> this also gives $\mathbb E[U_u\mid\mathcal F_t]\leq U_t$ for every $u\geq t$.