コーシー列は何が有益なんですか？
普通の収束じゃダメなんですか？