6. Cette inégalité est en fait une égalité, cf [6].