單調有界數列收斂定理非遞減且有上界的實數列收斂至其項集合supremum；非遞增版本對偶收斂至infimum。atlas-monotone-sequence-convergence-theorem · canonical_mko單調有界數列收斂定理前置節點上確界與下確界數列極限與精確尾界實數大小與順序