函数在闭区间上连续的条件