Solution (source code)

= Solution

For a continuous <random variable> with <probability density function> $p$, its <expected value> and <variance> are
$$
\boxed{\mu_X=\int_{-\infty}^{\infty}xp(x)dx,\qquad\operatorname{Var}X=\int_{-\infty}^{\infty}(x-\mu_X)^2p(x)dx.}
$$
The mean requires an integrable first absolute moment, and a finite variance requires a finite second moment. When these hold, $\operatorname{Var}X=\mathbb E[X^2]-(\mathbb EX)^2$.