実数の連続性
上に有界な単調増加数列は収束する。同様に、下に有界な単調減少数列は収束する。