ThmDex – An index of mathematical definitions, results, and conjectures.
Result R4282 on D1932: Standard natural real exponential function
Standard natural basic real exponential function vanishes at negative infinity
Formulation 0
Then \begin{equation} e^x \to 0 \quad \text{ as } \quad x \to - \infty \end{equation}
Formulation 1
Then \begin{equation} \exp(x) \to 0 \quad \text{ as } \quad x \to - \infty \end{equation}