Solution (source code)

= Solution

The support is $x\geq1$, and its normalized <Pareto distribution> density integrates to
$$
\boxed{P(X\geq1)=\int_1^\infty\alpha x^{-\alpha-1}\,dx
=\left[-x^{-\alpha}\right]_1^\infty=1}.
$$