Inégalité log somme