递推数列求极限,用单调有界算法,单调性的证明