(LN(x) + LN(y))/2 ≤ LN([x + y]/2)
LN(x)/2 + LN(y)/2 ≤ LN(x/2 + y/2)
EXP(LN(x)/2 + LN(y)/2) ≤ EXP(LN(x/2 + y/2))
√x * √y ≤ x/2 + y/2
x·y ≤ (x/2 + y/2)^2
x·y ≤ x^2/4 + x·y/2 + y^2/4
0 ≤ x^2/4 - x·y/2 + y^2/4
0 ≤ x^2 - 2·x·y + y^2
0 ≤ (x - y)^2
Ein Quadrat ist immer größer gleich 0.