MathNet 2026 — Part 08 Question 97

Let $a$, $b$, $c$ be pairwise distinct integers. Prove that
$$
\frac{a^{3}+b^{3}+c^{3}}{3} \geq a b c+\sqrt{3(a b+b c+c a+1)} .
$$