それよりも上に有界な単調増加列は収束するって使ってもいいの?