Uma função suave f:[0,1]->R tem a propriedade de que para cada x há uma n_x tal que todas as derivadas de ordem pelo menos n_x desaparecem em x. f é necessariamente um polinômio?