数列"s"3, "s"4,...は上界1を持つ単調増加数列なので、極限値"s"∞が存在する。