Гладкая функция f:[0,1]->R обладает свойством, что для каждого x существует n_x, такое что все производные порядка не ниже n_x обращаются в ноль в точке x. Является ли f обязательно многочленом?