(ln(x) + ln(y) ) / 2 = ln (x*y) / 2 = ln ( wurzel(xy) )
und ln ( wurzel(xy) ) <= ln ( (x+y) / 2 )
ist wegen der strengen Monotonie von ln gleichbedeutend mit
wurzel(xy) <= (x+y ) / 2
2 wurzel(xy) <= x + y
wegen x,y positiv ist x= wurzel(x) ^2 und y= wurzel(y) ^2
und ( wurzel(x) - wurzel(y) ) ^2 >= 0 da Quadrate nie negativ sind
x - 2wurzel(xy) + y >= 0
also auch 2 wurzel(xy) <= x + y q.e.d.