and
Let be differentiable at Then by definition,
Hence,
----------(25)
In fact, the converse also holds, i.e., if (25) holds then is differentiable. We assume this fact.
As an application of the above equivalence, we have the following:
Then is not differentiable at as both and do not exit.