>>286
最大値の定理(閉区間上の函数は最大値と最小値を取る)と中間値の定理