Solution (source code)

= Solution

The <probability density function> is nonnegative for $\alpha>0$. Its <integral> over the support is
$$
\int_1^\infty\alpha x^{-\alpha-1}\,dx
=\left[-x^{-\alpha}\right]_1^\infty=1,
$$
so it is \b[normalized for every $\alpha>0$]. This is the unit-threshold <Pareto distribution>.