Natural Logarithm of 1 is 0/Proof 1

Proof
We use the definition of the natural logarithm as an integral:
 * $\displaystyle \ln x = \int_1^x \frac {\mathrm d t} t$

From Integral on Zero Interval:
 * $\displaystyle \ln 1 = \int_1^1 \frac {\mathrm d t} t = 0$