(abc)^2 (ab + ac + bc) \le a^8 + b^8 + c^8