ILL 1986 Problem 60

Prove the inequality $(-a+b+c)^2(a-b+c)^2(a+b-c)^2 \geq (-a^2+b^2+c^2)(a^2-b^2+c^2)(a^2+b^2-c^2)$ for all real numbers $a, b, c.$

Dataset text AI-MO AoPS. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.