Equivalence of Definitions of Real Exponential Function

Also see

 * Equivalence of Definitions of Euler's Number
 * Equivalence of Definitions of Real Natural Logarithm