>>501
(2)⇒(1)を使えということだろう。
f(X)上の任意の連続関数gが最大値を持てばいいんでしょ？
gにfを合成させたものが最大値をもつことを使えばよい。