Logarithm Tends to Infinity/Proof 1

Theorem
Let $x \in \R_{>0}$ be a strictly positive real number.

Let $\ln x$ be the natural logarithm of $x$.

Then:


 * $\ln x \to +\infty$ as $x \to +\infty$

Proof
From Natural Logarithm of 2 Greater than One Half, we have that:
 * $\ln 2 \ge \dfrac 1 2$

From the definition of infinite limits at infinity, our assertion is:


 * $\forall M > 0 : \exists N > 0 : x > N \implies \ln x > M$.

As $x \to +\infty$, we will restrict our attention to sufficiently large $M$.

From Logarithm is Strictly Increasing:
 * $\ln x$ is strictly increasing.

So, for sufficiently large $M$:


 * $x > 2^{2M} \implies \ln x > \ln 2^{2M}$

From the Laws of Logarithms:

Choosing $N = \ln 2^{2 M}$:


 * $\forall M \ge a: \exists N > 0: x > N \implies \ln x > M $

where $a$ is some large number.

Hence the result, by the definition of infinite limits at infinity.