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
.