First, prove that f≤71; when x=y=z=31, we have f=71.
Since f=∑1+x+3yx(x+3y−1)=1−2∑1+x+3yx, by Cauchy's inequality
∑1+x+3yx≥∑x(1+x+3y)(∑x)2=∑x(1+x+3y)1,
and
∑x(1+x+3y)−∑x(2x+4y+z)=2+∑xy≤37.
So ∑1+x+3yx≥73, f≤1−2×73=71; fmax=71; when x=y=z=31, we have f=71.
Second, prove that f≥0; when x=1,y=z=0, we have f=0.
In fact, one can see that
f(x,y,z)=1+x+3yx(2y−z)+1+y+3zy(2z−x)+1+z+3xz(2x−y)=xy(1+x+3y2−1+y+3z1)+xz(1+z+3x2−1+x+3y1)+yz(1+y+3z2−1+z+3x1)=(1+x+3y)(1+y+3z)7xyz+(1+z+3x)(1+x+3y)7xyz+(1+y+3z)(1+z+3x)7xyz≥0.