[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]βΊβ»