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