Answer: all functions of the form fc,d(x)={cx2d if x>0 if x=0 with c≥0 and d≤0.
Substituting x=0 and y=1 yields f(1)≥3f(0)z2 for all z≥0. If f(0)>0, then the right side of this inequality is unbounded, a contradiction. Therefore, f(0)≤0.
Substituting z=0 yields yf(y)≥0, so f(y)≥0 for all y>0. In particular, f(1)≥0.
Substituting x=y and z=1 yields
2y3f(1)+yf(y)≥3yf(y)
so 2y3f(1)≥2yf(y), so f(y)≤y2f(1) for y>0.
Substituting z=y and x=1 yields
2yf(y)+yf(y)≥3y3f(1)
so 3yf(y)≥3y3f(1), so f(y)≥y2f(1) for y>0.
Together, this gives f(y)=y2f(1) for y>0.
Write c=f(1) and d=f(0). Then we now know that f(x)={cx2d if x>0 if x=0 with c≥0 and d≤0. We will now check these functions.
First note that xf(x)≥0 for all x∈R≥0: for x=0 this is trivial and for x>0 we have xf(x)=cx3≥0 since c≥0.
For x=0 we have yf(y)≥3yz2f(0), and this is true since yf(y)≥0 and 3yz2f(0)= 3yz2d≤0 for y,z≥0.
For y=0 we have 2x3zf(z)≥0 and this is true. For z=0 we have yf(y)≥0 and this is true.
Now assume that x,y,z>0. Then we have f(x)=cx2,f(y)=cy2,f(z)=cz2 and we need to prove that
2x3zcz2+ycy2≥3yz2cx2
Since c≥0 it is sufficient to show that 2x3z3+y3≥3yz2x2 for all x,y,z>0. This follows from the arithmetic mean-geometric mean inequality on the three terms x3z3,x3z3 and y3. So all these functions satisfy the condition.