Proof: By symmetry, we may assume x⩾y⩾z, thus 1=x+y+z⩾3z, which means z⩽31. Therefore, 2xyz⩽32xy⩽xy, hence
yz+zx+xy−2xyz⩾0
For the right inequality, we can consider using the mean substitution: Let x+y=21+t,z=21−t, then by x+y⩾2z we get 61⩽t⩽21, thus
yz+zx+xy−2xyz=41−t2+xy−2t⩽41−t2+2t(2x+y)2=41−t2+2t(21+t)2=41+41⋅2t⋅(21−t)(21−t)⩽41+41[32t+(21−t)+(21−t)]3=277.