Task: Text Matching
Input (English, French): 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 . <sep> 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 .
Output (English): 0