一个光滑函数 f:[0,1]->R 具有这样的性质：对于每个 x，都存在一个 n_x，使得所有至少为 n_x 的导数在 x 处都为零。f 是否一定是一个多项式？