>>681
上に有界な単調増加列は収束する■