コーシー列
これについて、完備性とコーシー列に基づく「コーシーの判定法」による簡明な証明がある: