Cauchy sequence
一般に、任意の収束列はコーシー列であるが、その一方で、コーシー列は必ずしも収束しない。