Limit of Positive Real Sequence is Positive

Theorem
Let $\sequence {x_n}$ be a sequence of positive real numbers.

Let $x_n$ converge to $L$.

Then $L \ge 0$.

Proof
$L < 0$.

Then for any $n \in \N$:

This contradicts.

Hence we must have $L \ge 0$.