单调有界数列必有极限,显然的
比较多地用在求递推关系定义的 的函数极限上