上に有界な単調列は収束する
って使っちゃ駄目なのか?