Let be such that is differentiable at . Then is continuous at .
Since differentiable at we have
where both as . Thus, we have
Hence, is continuous at .
We describe next a sufficient condition for the differentiability of .