Equivalence of Definitions of Real Natural Logarithm