Cauchy sequence
首先我們需要一個定義。設formula_64是一個有理數列，如果对于任何正有理數formula_65，存在一个正整数formula_66使得对于所有的整数formula_67，都有formula_68，則稱formula_64為有理數的柯西序列。