展开 闭区间的连续函数有界证明