テイラー展開
を満たす に対して、テイラー展開