Источник TeX:
\frac{a+b}{2}-\sqrt{ab} \ge 0