lim 2^n = +∞ を仮定すると、 (n)_{n∈N} は単調増加列だから lim n = +∞ が成り立つのはなぜですか?