1. Pour tout fonction de , donc est minoré par . De plus d'après l'inégalité de Cauchy-Schwarz on a :

. On en déduit que est minoré par qui est borne inférieure et minimum puisque atteinte pour .