展开 闭区间上的单调函数是有界函数