Natural Logarithm of 1 is 0/Proof 2

Proof
We use the definition of the natural logarithm as the inverse of the exponential:
 * $\ln x = y \iff e^y = x$