一個光滑函數 f:[0,1]->R 具有這樣的性質：對於每個 x，都存在一個 n_x，使得所有至少為 n_x 的導數在 x 處都為零。f 是否一定是一個多項式？