「平均値の定理を証明しよう！」【解析学の基礎シリーズ】１変数実数値関数の微分編 その８ https://for-spring.com/analysis/1dim_realvalued_differentiation-8/