>>593
単調増加かつ上に有界