Cauchy sequence
であるので、コーシー列である。