>>521
使わなくても簡単に証明できるんだから、無理に使わなくてもいいんでないの？

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