テイラーの定理は実数から実数への十分な回数微分可能な関数について成立するから、可算無限個の実数値をサンプリングして形式的冪級数のxに代入しても等式が成立するし、結局形式的冪級数についても成立する的な理屈か？