Докажи, что для любых положительных рациональных чисел $a$ и $b$ справедливо неравенство: $\frac{a + b}{2} \geq \sqrt{ab}$, то есть среднее арифметическое не меньше среднего геометрического. (Используй только свойства рациональных неравенств, не привлекая свойства корней.)