平均値の定理
端点での極限は定義できないため、開区間
$ (a,b)
で
微分可能
という表現になる