単調収束定理
下に有界な減少実数列の場合は、その下限が極限となる。