Inégalité de Bessel

On prouve l'inégalité de Bessel pour un famille orthonormée quelconque dans un espace de Hilbert. On admet l'existence de projecteurs orthogonaux sur un sous espace fermé et on montre qu'un sous espace de dimension fini et fermé.