单调有界函数必有极限的重要推论