D只要被插值函数有任意阶导数，就能保证当插值多项式的次数n趋于无穷时余项趋于