 Solution

Put $v=\mathbb{E}{X}_n^2$. For $c\ge 0$, conditional Jensen inequality applied to the convex function $x\mapsto (x+c{)}^2$ shows thatis a nonnegative submartingale. Its integrability follows from the square integrability of $X_k$. If $X_k\ge \lambda$, then $Z_k\ge (\lambda +c{)}^2$, since $c\ge 0$. The Doob maximal inequality for a nonnegative submartingale yieldswhere zero mean removes the cross term. For completeness, the maximal inequality follows by stopping at the first crossing: on the event of a crossing at $k$, the submartingale property gives $\mathbb{E}[Z_n{1}_{\{T=k\}}]\ge \mathbb{E}[Z_k{1}_{\{T=k\}}]$. Sum over $k\le n$, and use nonnegativity on the event of no crossing.

The derivative of the last ratio isFor $v>0$, the minimum over $c\ge 0$ is attained at $c=v/\lambda$. Substitution gives the one-sided maximal inequality for a centered square-integrable martingale:If $v=0$, $X_n=0$ almost surely and $X_k=\mathbb{E}(X_n\mid {\mathcal{F}}_k)=0$ almost surely for every $k\le n$, so the bound also holds. The optimization is the same one underlying the Cantelli inequality, but the submartingale argument controls the entire finite-time maximum.