Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
Standard natural basic real exponential function is escapes to positive infinity at positive infinity
Formulation 0
Then ex as x
Formulation 1
Let xexp(x) be the D1932: Standard natural real exponential function.
Then exp(x) as x