Let $x \mapsto e^x$ be the D1932: Standard natural real exponential function.

Then \begin{equation} e^x \to 0 \quad \text{ as } \quad x \to - \infty \end{equation}