Derivative of Natural Logarithm Function

Theorem
Let $\ln x$ be the natural logarithm function.

Then:
 * $D_x \left({\ln x}\right) = \dfrac 1 x$

Proof
Follows directly from the definition of the natural logarithm function as the primitive of the reciprocal function.