[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]↺↻