证明连续函数在闭区间有最