Pour tout appartenant à , on a : .

On en déduit : et donc .

De plus les inégalités suivantes entraînent .