実数の完備性です
実数上の任意のコーシー列が必ず収束するということと同じです