Cauchy sequence
可以证明如果 (X,d) 是度量空间，并且有柯西序列使得有子序列收敛于某个 x，则这个序列也会聚于 x。