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