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

Proof

This follows from fact, fact, fact and fact  (6).