Problem

Source: Slovenia IMO TST 2018, Day 1, Problem 3

Tags: inequalities, algebra



Let $a$, $b$ and $c$ be positive real numbers satisfying $abc=1$. Prove that the following inequality holds: $$\frac{a+b+c}{3}\geq\frac{a}{a^2b+2}+\frac{b}{b^2c+2}+\frac{c}{c^2a+2}.$$