任何連續可微分n次函數，可以在某一點以n次多項式展開逼近。