[0TD] Let Eββn be not empty and such that every continuous function f:Eββ admits maximum: show that E is compact.
(See [0VJ]βΊβ» for generalization to metric spaces)
[0TF]βΊβ»