Fungsi halus f:[0,1]->R memiliki properti bahwa untuk setiap x ada n_x sedemikian rupa sehingga semua turunan urutan setidaknya n_x menghilang pada x. Apakah f harus polinomial?