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