有界閉区間上の実数値連続関数に最大値があることの証明をしたいのですが
やり方をすっかり忘れてしまいました
誰か教えてください