One-sided maximal inequality for independent centered sums (source code)

= One-sided maximal inequality for independent centered sums

For independent centered random variables and $S_m=\sum_{j\leq m}X_j$,
$$
\mathbb P\left(\max_{m\leq n}S_m\geq x\right)
\leq\frac{\operatorname{Var}(S_n)}
{\operatorname{Var}(S_n)+x^2}.
$$
Apply the <Doob maximal inequality for a nonnegative submartingale> to $(S_m+c)^2$ and optimize at $c=\operatorname{Var}(S_n)/x$.