用有限覆盖定理证明连续函数的最值定理