infinitely differentiable doesn't care if all the higher derivatives are zeroes (like for polynomials), it only has to be defined...correct?