如何证明函数在区间上的连续性