Real Natural Logarithm Function is Continuous/Proof 1
Theorem
The real natural logarithm function is continuous.
Proof
We have that the Natural Logarithm Function is Differentiable.
The result follows from Differentiable Function is Continuous.
$\blacksquare$