Problem

Source: Turkey Team Selection Test 2019 Day 3 Problem 9

Tags: inequalities



Let $x, y, z$ be real numbers such that $y\geq 2z \geq 4x$ and $$ 2(x^3+y^3+z^3)+15(xy^2+yz^2+zx^2)\geq 16(x^2y+y^2z+z^2x)+2xyz.$$Prove that: $4x+y\geq 4z$