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