Derivative of Natural Logarithm Function/Proof 3

Proof
This proof assumes the definition of the natural logarithm as the inverse of the exponential function as defined by differential equation:


 * $y = \dfrac {\d y} {\d x}$


 * $y = e^x \iff \ln y = x$

The result follows from the definition of the antiderivative and the defined initial condition:
 * $\tuple {x_0, y_0} = \tuple {0, 1}$