Natural Logarithm Function is Differentiable

Theorem
The (real) natural logarithm function is differentiable.