展开 连续有界函数的性质