展开 利用单调有界原理证明数列