コーシー列
各固定されたに対しformula_29は収束列であり、したがってコーシー列であるので、上記の事から、