ThmDex – An index of mathematical definitions, results, and conjectures.
Standard natural basic real logarithm function escapes to positive infinity at positive infinity
Formulation 0
Let $x \mapsto \log x$ be the D865: Standard natural real logarithm function.
Then \begin{equation} \log x \to \infty \quad \text{ as } \quad x \to \infty \end{equation}
Formulation 1
Then \begin{equation} \ln x \to \infty \quad \text{ as } \quad x \to \infty \end{equation}