6
$\begingroup$

There's a problem from calculus I remember: $\forall x\ \exists n.\ f^{(n)}(x) = 0 \iff \exists n\ \forall x.\ f^{(n)}(x) = 0\,.$

Function $f \in C^\infty(\mathbb{R})$, and the notation $f^{(n)}$ means differentiation.

Right side is just curious statement that $f$ is a polynomial. Of course $(\Leftarrow)$ is just trivial, however, $(\Rightarrow)$ is far from obvious. Have anybody seen this, maybe somebody knows where it comes from? What about the proof of $(\Rightarrow)$?

  • 0
    The version on MO closest to this question is http://mathoverflow.net/questions/34059/if-f-is-infinitely-differentiable-then-f-coincides-with-a-polynomial2012-03-16

1 Answers 1

1

Here are some reference about the problem: