Aloha :)
Wegen \(a,b\ge0\) existieren die Wurzeln \(\sqrt a\) und \(\sqrt b\), sodass:$$0\le(\sqrt a-\sqrt b)^2=(\sqrt a)^2-2\sqrt{ab}+(\sqrt b)^2=a-2\sqrt{ab}+b$$$$\implies2\sqrt{ab}\le a+b\implies\sqrt{ab}\le\frac{a+b}{2}\quad;\quad a,b\ge0$$
Die Abschätzung nach unten folgt daraus ebenfalls, gilt allerdings nur, wenn nicht \(a\) und \(b\) beide gleichzeitig \(0\) sind, weil wir sonst durch \(0\) dividieren würden:$$2\sqrt{ab}\le a+b\implies2ab\le(a+b)\sqrt{ab}\implies\frac{2ab}{a+b}\le\sqrt{ab}$$Damit haben wir die Ungleichungskette:$$\frac{2ab}{a+b}\le\sqrt{ab}\le\frac{a+b}{2}\quad;\quad a,b\ge0\;\land\;\;a+b>0$$
Oha sorry, ich habe noch die Abschätzungen gegen \(a\) und \(b\) übersehen. Hier ist zusätzlich gegeben, dass \(a\le b\) gilt. Daher ist \(\frac{1}{b}\le\frac{1}{a}\). Das heißt:$$a=\frac{2}{\frac{2}{a}}=\frac{2}{\frac{1}{a}+\frac{1}{a}}\le\frac{2}{\frac{1}{a}+\frac{1}{b}}=\frac{2}{\frac{a+b}{ab}}=\frac{2ab}{a+b}\quad;\quad\frac{a+b}{2}\le\frac{b+b}{2}=b$$
Damit ist dann die Ungleichungskette komplett:$$a\le\frac{2ab}{a+b}\le\sqrt{ab}\le\frac{a+b}{2}\le b\quad;\quad 0<a\le b$$