コーシー列
すなわち部分列 は に収束する。 は 上のコーシー列であったから、も に収束する。(証明終り)