(2) を示す。 のとき、 のときが成り立つとすると、 のとき よりである。 よって、数学的帰納法よりであるから、は有界である。 数学的帰納法よりであるから、は単調増加である。 有界な単調数列は収束するから、極限をとおくと より