Источник TeX:

\frac{a+b}{2} \ge \sqrt{ab}