Expectation of Non-Negative Random Variable is Non-Negative

Theorem
Let $X$ be a random variable.

Let $\map \Pr {X \ge 0} = 1$.

Then $\expect X \ge 0$, where $\expect X$ denotes the expectation of $X$.