Function continuously differentiable at a point