Gładka funkcja f:[0,1]->R ma właściwość, że dla każdego x istnieje n_x, takie że wszystkie pochodne rzędu co najmniej n_x znikają w x. Czy f musi być koniecznie wielomianem?