Let $x \mapsto \ln x$ be the D865: Standard natural real logarithm function.

Then \begin{equation} \ln x \to \infty \quad \text{ as } \quad x \to \infty \end{equation}