Smooth function with a pointwise vanishing derivative
= Smooth function with a pointwise vanishing derivative
Let $f\in C^\infty(\mathbb R)$ and suppose that for every $x$ there is an $n=n(x)\geq0$ such that $f^{(n)}(x)=0$. Then $f$ is a polynomial.