e(a+b)/2   <1/2*ea + 1/2*eb
ea/2 * eb/2 < ( ea + eb  ) / 2
wurzel( ea * eb ) <  ( ea + eb  ) / 2   
Das ist die Ungleichung von arithmetischen und geometrischen Mittel
für den Spezialfall der Zahlen e
a und  e
b Beweis
 ( e
a/2 - e
b/2  )^2  > 0 wenn a ungleich b, weil Quadrate dann immer positiv.
binom. Formel
 e
a -2*e
a/2 * e
b/2  + e
b > 0
 e
a   + e
b > 2*e
a/2 * e
b/2    | :2
1/2*e
a + 1/2*e
b   >  e
a/2 * e
b/2   = e
(a+b)/2  q.e.d.