a^8 + b^8 + c^8 \ge b^4 c^4 + a^4 b^4 + a^4 c^4