Infinitely differentiable function