MEMO 2012 T2

Let $a,b$ and $c$ be positive real numbers with $abc = 1$ . Prove that $\sqrt{ 9 + 16a^2}+\sqrt{ 9 + 16b^2}+\sqrt{ 9 + 16c^2} \ge 3 +4(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.