số nguyên có nghĩa là số ko âm
ta áp dụng bất đẳng thức AM-GM cho 2 số không âm ta được: y+x ≥ 2$\sqrt[]{yz}$
=>$(y+x)^{2}$≥4yz
ta có x+y+z≥2$\sqrt[]{x(y+z)}$
=>$(x+y+z)^{2} ≥ 4x(y+z)
mà x+y+z = 1
=>1 ≥ 4x(y+z)
$\frac{$(y+x)^{2}$≥4yz ×1≥4x(y+z)}{(y+z)^{2}}$ ≥ 16xyz(y+z)
=>y+z ≥ 16xyz