Cumulative distribution function (source code)

= Cumulative distribution function
{title2=$F_X(x)$}
{wiki}

= Distribution function
{synonym}

The cumulative distribution function of a real <random variable> $X$ is
$$
F_X(x)=\mathbb P(X\leq x).
$$
It is nondecreasing, right-continuous, tends to zero at $-\infty$, and tends to one at $+\infty$.