delta ns aide a prouver cette lemme:
soit M un réel >=0 et a,b,c des rééls alors pr tt 2x dans l'intervalle [-M-sqrt(M²+8M), -M+sqrt(M²+8M) ] ona l'inégalité suivante
Ma²+b²+c² >= x(ab+bc+ac) et tes constantes verifie le cas d'égaliité: 2x=-M+sqrt(M²+8M)
et pr la deuxième il suffit de diviser les cotés de l'inégalité par ln(2) et appliquer la lemme en remplaçant a par c , (sauf erreur)