>>533
「図形f(X)上でで定義された連続関数はf(X)のある点で最大値をとる」こと

そしたら(2)⇒(1)でf(X)はコンパクト