>>172
コンパクト集合上の連続関数の性質　→　最小値の定理
連続関数は距離から作る。