展开 单调函数连续性证明