2Wir rechnen

d- d- -d2- 0 ≤ 2 - f1 - f2 + 2f1f2 ≤ 2 0 ≤ 1 - -d-- -d-+ -d2- ≤ 1 2f1 2f2 4f1f2
und damit folgt die Behauptung.