Logarithm of Power/Natural Logarithm/Proof 3

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