1+2xz+x^2z^2\leq1+x^2+z^2+x^2z^2