Cauchy sequence
由于当formula_12时，formula_13，因此formula_8是柯西序列，且formula_8收敛于某个极限formula_16。对于任何formula_17，根据封闭性，有：