(a) Let n⩾1 and f be a function R→R. Define carefully what it means for f to be n times differentiable at a point x0∈R.
Set sign(x)={x/∣x∣,0,x=0x=0.
Consider the function f(x) on the real line, with f(0)=0 and
f(x)=x2sign(x)∣∣∣∣cosxπ∣∣∣∣,x=0.
(b) Is f(x) differentiable at x=0 ?
(c) Show that f(x) has points of non-differentiability in any neighbourhood of x=0.
(d) Prove that, in any finite interval I, the derivative f′(x), at the points x∈I where it exists, is bounded: ∣f′(x)∣⩽C where C depends on I.