Natural logarithm/Inverse function to real exponential function/Introduction/Section
Jump to navigation
Jump to search
Theorem
continuous strictly increasing function, which defines a bijection between and . Moreover, the functional equation
holds for all .
Proof
This follows from
and