Limit at Infinity of Real Identity Function

Theorem
Let $I_\R: \R \to \R$ be the identity function.

Then:


 * $\displaystyle \lim_{x \to +\infty} \ I_\R \left({x}\right) = +\infty$


 * $\displaystyle \lim_{x \to -\infty} \ I_\R \left({x}\right) = -\infty$

Proof
By the definition of infinite limits at infinity, the first assertion is:


 * $\forall M \in \R_{>0}: \exists N \in \R_{>0}: x > N \implies f \left({x}\right) > M$

For every $M$, choose $N = M$.

The second assertion is proved similarly.