A real function is differentiable at an interior point when the finite limit
exists, with restricted so lies in its domain. In quantified form, for every there is such that implies that the difference quotient differs from by less than .
To prove differentiability implies continuity, the convergent difference quotient is bounded by for sufficiently small nonzero . Thus . This is exactly continuity at .
At zero, the particular function has difference quotient . The bound and the squeeze theorem give
For , the product rule and chain rule give
At this equals , although and . At it equals . Hence the derivative has no limit at zero and is not continuous there. This demonstrates that differentiability does not imply continuity of the derivative, even though the function itself is continuous.
No. On take and
At zero, its difference quotient has absolute value , so . Away from zero, the product rule and chain rule apply. Define
These are distinct positive inputs tending to zero. Since and ,
The even-indexed subsequence tends to , whereas the odd-indexed subsequence tends to . Thus the limit of a sequence does not exist. The two points lie on the same side of , so the nonnegative-weight estimate in part (b) is unavailable. This is a concrete instance of differentiability does not imply continuity of the derivative.