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 \searrow 0 \end{equation}