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