Let $a$, $b$, and $c$ be positive real numbers. Prove that $$(a^5 - a^2 +3)(b^5 - b^2 +3)(c^5 - c^2 +3)\ge (a+b+c)^3$$
Source: 2021 Saudi Arabia BMO TST 2.3
Tags: algebra, inequalities
Let $a$, $b$, and $c$ be positive real numbers. Prove that $$(a^5 - a^2 +3)(b^5 - b^2 +3)(c^5 - c^2 +3)\ge (a+b+c)^3$$