Limit of Cumulative Distribution Function at Negative Infinity

Theorem
Let $\struct {\Omega, \Sigma, \Pr}$ be a probability space.

Let $X$ be a random variable on $\struct {\Omega, \Sigma, \Pr}$.

Let $F_X$ be the cumulative distribution function.

Then:
 * $\ds \lim_{x \mathop \to -\infty} \map {F_X} x = 0$

where $\ds \lim_{x \mathop \to -\infty} \map {F_X} x$ denotes the limit at $-\infty$ of $F_X$.