Doob's martingale inequality (source code)

= Doob's martingale inequality
{c}
{wiki}

For a nonnegative submartingale $X$, the maximal tail bound is $\lambda\mathbb P(\max_{k\leq n}X_k\geq\lambda)\leq\mathbb E[X_n;\max_{k\leq n}X_k\geq\lambda]$. Applied to the absolute value of a martingale and integrated over $\lambda$, it gives the <Doob Lp maximal inequality>; at $p=2$ this is the <Doob L2 maximal inequality>.