Let x,y,zRx,y,z\in\mathbb R. Prove that 210x2y+2z+210y2z+2x+210z2x+2y26x+2y+z1+26y+2z+x1+26z+2x+y1.\displaystyle \frac{2^{10x}}{2^y+2^z} +\frac{2^{10y}}{2^z+2^x} +\frac{2^{10z}}{2^x+2^y} \ge 2^{6x+2y+z-1} +2^{6y+2z+x-1} +2^{6z+2x+y-1}.

Set $ a=2^x, ...