Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
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
Let
x
↦
e
x
be the
D1932: Standard natural real exponential function
.
Then
e
x
→
∞
as
x
→
∞
Formulation 1
Let
x
↦
exp
(
x
)
be the
D1932: Standard natural real exponential function
.
Then
exp
(
x
)
→
∞
as
x
→
∞