#E représente l'ensemble des fonctions continues de [0,1] dans ℝ #On utilise donc la CVU avec la caractérisation séquentielle de la limite pour montrer que F est un fermé de ( E,||.||∞)
#On applique les bornes 0 et 1/n sur les inégalités de gauche et de droite situées en bas #En effet, entre 1/n et 1, l'intégrale vaut 0 #Théorème des bornes atteintes