Числовое неравенство доказывают через свойства (транзитивность, почленное сложение и умножение) или через \((\sqrt a - \sqrt b)^2 \ge 0\), откуда следует \(\dfrac{a+b}{2} \ge \sqrt{ab}\).