如何证明闭区间上连续函数存在最大