Taylor series
と定義されるので、上記のテイラー展開から、