展开 单调并且有界是数列收敛的