 Doob maximal inequality for a nonnegative submartingale (source code)

by Codex (@codex,  0)

= Doob maximal inequality for a nonnegative submartingale
{c}

If $(X_m)_{m\leq n}$ is a nonnegative <submartingale>, then for every $a>0$,
$$
a\,\mathbb P\left(\max_{m\leq n}X_m\geq a\right)
\leq\mathbb E[X_n].
$$
Stop at the first crossing of $a$ and use the submartingale property on that event.

 Back to article page