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