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