Definition:Natural Logarithm/Positive Real

Also see

 * Equivalence of Definitions of Natural Logarithm
 * Properties of Natural Logarithm