>>525
そうなんです。どの本みても、
>「コンパクト集合の連続像はコンパクト」と「実直線のコンパクト集合は有界閉区間」を
>使って『X上で定義された連続関数はXのある点で最大値をとる（最大値性）』を証明する
>流儀の方が現代的なような気もするし・・・
のような流れで載っていて。

でも、今回は
『X上で定義された連続関数はXのある点で最大値をとる（最大値性）』
を使って示さなければいけないのです・・・

どうすればいいのでしょう。
何度も何度もホントすません、よろしくお願いします。