RMO 2025 K2

Let $a, b, c$ be positive real numbers satisfying $abc = 1$ . Prove that $$\frac{2a^2}{a^3+1} + \frac{2b^2}{b^3+1} + \frac{2c^2}{c^3+1} \le a^2 + b^2 + c^2$$