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