For to be differentiable at the origin, must assume the form
where as . Since from Example 4.11.7, it follows that
|
|
|
|
|
=
|
|
|
|
|
where . To show that as , make the following estimate.
|
|
|
|
|
|
|
|
|
|
where Inequalities 4 and 5 from Table 3.2.1 have been invoked. Hence, setting implies that is differentiable at the origin.