函数在闭区间上连续的证明