An infinitely differentiable function that is not analytic