证单调递增有界收敛。