柯西序列
A sequence of real or complex numbers formula_5 is a Cauchy sequence if and only if formula_5 converges (to some point a in R or C).