Za x,y>1 vrijedi logyx=logylogx.
Neka je x=loga, y=logb, z=logc. Zbog a,b,c>1 vrijedi x,y,z>0.
Polazna nejednakost može se zapisati u ekvivalentnom obliku
xy+z+yz+x+zx+y≥y+z4x+z+x4y+x+y4z.
Dovoljno je pokazati
xz+yz≥x+y4z.
Množenjem s xy(x+y) i sređivanjem dobivamo z(x−y)2≥0, što vrijedi. Zato vrijedi i polazna nejednakost.
Napomena. Nejednakost xz+yz≥x+y4z slijedi i iz A-H nejednakosti.