MathNet 2011 Câu hỏi 54

Cho các số thực dương $a,b,c$ thỏa mãn $a+b+c=abc$. Chứng minh
$$a^5(bc-1)+b^5(ca-1)+c^5(ab-1)\ge54\sqrt3.$$