O funcție netedă f:[0,1]->R are proprietatea că pentru fiecare x există un n_x astfel încât toate derivatele de ordin cel puțin n_x dispar pe x. Este f neapărat un polinom?