By the arithmetic mean-geometric mean inequality we have
x=4x4=4xyztx4=4yztx3=4yx⋅tx⋅zt⋅tx≤41(yx+tx+zt+tx)=41(yx+2⋅tx+zt).
Similarly we show that
y≤41(zy+2⋅xy+tx),z≤41(tz+2⋅yz+xy),t≤41(xt+2⋅zt+yz).
Adding together the four inequalities and applying the assumed inequality we obtain
x+y+z+t≤41(yx+zy+tz+xt)+43(xy+yz+zt+tx)≤41(x+y+z+t)+43(xy+yz+zt+tx).
The assertion of the problem follows immediately.