0.1/(0.3+0.4)+0.3/(0.1+0.4)+0.4/(0.1+0.3) > 3/2 + (0.1+0.3+0.4)/(0.3+0.4+0.5+4*0.1*0.3*0.4)