sentence_pair.en: If C is a compact space ( for instance a closed , bounded interval ) and f : C → -valued lower semi-continuous functions and minima is also true .
sentence_pair.fr: Si C est un compact ( par exemple un intervalle fermé de ℝ ) ou même seulement un espace dénombrablement compact et si f : C → ℝ est semi-continue supérieurement , alors f est majorée sur C et atteint sa borne supérieure .