Natural logarithm/Functional equation/Bijection/Continuity/Monotonicity/Fact
is a
continuous strictly increasing function, which defines a bijection between and . Moreover, the functional equation
holds for all
.continuous
strictly increasing function, which defines a bijection between
and
.
Moreover, the functional equation
holds for all