介值定理連續實函數在閉區間端點值之間取到每個中間值。atlas-intermediate-value-theorem · canonical_mko介值定理前置節點實函數的點值與連續實數實數大小與順序函數映射上確界與下確界