Equivalence of Definitions of Real Exponential Function

Theorem
The following definitions of the exponential function are equivalent.

Also see

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