Natural Logarithm Function is Differentiable

Theorem
The natural logarithm function is differentiable.