单调集列一定收敛。
出自:实变函数