用单调有界准则证明数列收敛