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