Hladká funkce f:[0,1]->R má tu vlastnost, že pro každé x existuje n_x takové, že všechny derivace řádu přinejmenším n_x zmizí na x. Je f nutně polynom?