Solution (source code)

= Solution

The <Cauchy-Schwarz inequality> is $|\mathbb E(XY)|^2\leq\mathbb E(X^2)\mathbb E(Y^2)$. <Markov inequality> says that for $X\geq0$ and $a>0$, $\mathbb P(X\geq a)\leq\mathbb EX/a$.

<Jensen inequality> states that for convex $\phi$,
$$
\boxed{\phi(\mathbb EX)\leq\mathbb E\phi(X).}
$$
Let $\mu=\mathbb EX$. A supporting line at $\mu$ gives $\phi(x)\geq\phi(\mu)+c(x-\mu)$. Taking expectations makes the linear term vanish.