证 Weierstrass: f in C([a, b]) 取 max 与 min。(用有界序列 + Bolzano-Weierstrass。)