>>514
つまり、
f:X→Rが連続関数でXが最大値をとるとき、f(X)も最大値をとる
を証明すればいいんですよね?

・・・ちょっとやってみます