Sileällä funktiolla f:[0,1]->R on ominaisuus, että jokaista x:ää kohden on n_x sellainen, että kaikki järjestyksen derivaatat vähintään n_x katoa x:stä. Onko f välttämättä polynomi?