Past exam of the probability, measure and martingales course of the University of Oxford / 2021 / 2 / c / iii / Solution

For $p>1$, the bound $X_k\le 2$ ensures the finite moment $m_p=\mathbb{E}{X}_1^p\le 2^p$. By Jensen's inequality, $m_p\ge (\mathbb{E}{X}_1{)}^p=1$. The process $Z_k=Y_k^p$ is an adapted, nonnegative integrable random variable at each time, and independence givesThus $(Z_k)$ is a submartingale, and $\mathbb{E}{Z}_n=m_p^n$. The Doob maximal inequality for a nonnegative submartingale states that $c\mathbb{P}({\max }_{k\le n}{Z}_k\ge c)\le \mathbb{E}{Z}_n$ for $c>0$. Apply it with $c={\lambda }^p$. Since the power function is increasing on $[0,\infty )$,Combining this with the preceding bound givesThe result is a bound on the running maximum, which is why a maximal inequality for a submartingale, rather than an estimate of the single terminal random variable, is needed.^[ref]