Natural logarithm/Functional equation/Bijection/Continuity/Monotonicity/Fact/Proof