展开 单调的连续函数的定义