平均値の定理を繰り返すと
N-1項展開での剰余港はR_N=α(α-1)・・・α(N-1)(1+θx)^(α-N)/N!　for some θ∈(0,1)とかける。