Solution (source code)

= Solution
{c}

The <cumulative distribution function> is
$$
\boxed{F_X(x)=\mathbb P(X\leq x)=\int_{-\infty}^x f(t)\,dt.}
$$
The total integral of the nonnegative <probability density function> is one.