Problem

Source: 2016 Thailand October Camp 3.5

Tags: inequalities



Let $a, b, c \in \mathbb{R}^+$ such that $a + b + c = 3$. Prove that $$\sum_{cyc}\left(\frac{a^3+1}{a^2+1}\right)\geq\frac{1}{27}(\sqrt{ab}+\sqrt{bc}+\sqrt{ca})^4.$$