展开 闭区间单调可以推出有界吗