Derivative of Natural Logarithm Function/Proof 2

Proof
This proof assumes the definition of the natural logarithm as the inverse of the exponential function, where the exponential function is defined as the limit of a sequence:


 * $e^x := \displaystyle \lim_{n \to +\infty} \left({1 + \frac x n}\right)^n$

It also assumes the Laws of Logarithms.

Define $u$ as:


 * $u = \left|{\dfrac x {\Delta x} }\right|$

Then $u \to +\infty$ as $\Delta x \to 0$.

Substitute $u$ into the above equation, and since $u \to +\infty$, set $u > 1$.

From Domain of Real Natural Logarithm, $\operatorname{Dom} \left({\ln}\right)$ is $\left({0 \,.\,.\, +\infty}\right)$.

That is, $x$ is positive.