Logarithm of Power/Natural Logarithm/Proof 3

Proof
Here we adopt the definition of $\ln x$ to be:
 * $\ds \ln x := \int_1^x \dfrac {\d t} t$