Una función suave f:[0,1]->R tiene la propiedad de que para cada x hay una n_x tal que todas las derivadas de orden al menos n_x desaparecen en x. ¿Es f necesariamente un polinomio?