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 = \size {\dfrac x {\Delta x} }$

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, $\Dom \ln$ is $\openint 0 \to$.

That is, $x$ is positive.