Solution (source code)

= Solution

<Chebyshev's inequality> says that for a random variable $Z$ with finite mean and <variance>, and every $t>0$,
$$
\boxed{\mathbb P(|Z-\mathbb EZ|\ge t)\le\frac{\operatorname{Var}Z}{t^2}}.
$$