单调集列一定收敛。