a^2 b^3 c^3 + b^2 a^3 c^3 + c^2 a^3 b^3 \le a^8 + b^8 + c^8