實數列Bolzano－Weierstrass定理每個整體有界的實數列都有一個以嚴格遞增無限索引取得的收斂子數列。atlas-bolzano-weierstrass-theorem-real · canonical_mko實數列Bolzano－Weierstrass定理前置節點子數列數列極限與精確尾界實數上確界與下確界