[0TD] Sia \(E⊆ ℝ^ n\) non vuoto tale che ogni funzione continua \(f:E→ℝ\) ammetta massimo: si mostri che \(E\) è compatto.
(Si veda [0VJ]↺↻ per la generalizzazione a spazi metrici)
[0TF]↺↻
