Logarithm Tends to Infinity/Proof 2

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 the definition of the natural logarithm:

The result follows from Integral of Reciprocal is Divergent.