滑らかな関数f:[0,1]->Rは、xごとに、順序のすべての導関数が少なくともx上でn_x消えるようなn_xがあるという性質を持っています。fは必ずしも多項式ですか?