Ta có: `x,y,z,t in N, ne 0`
`⇒ x,y,z,t in` N*
`=> x/(x+y+z) > 0`
`=> x/(x+y+z) > x/(x+y+z+t)`
Tương tự: `y/(x+y+t) > y/(x+y+z+t)`
`⇒z/(y+z+t) > z/(x+y+z+t)`
`⇒t/(x+z+t) > t/(x+y+z+t)`
`=> M > (x+y+z+t)/(x+y+z+t) = 1`
TA lại có: `x < x+y+z`
`=> x/(x+y+z) < 1`
`=> 0 < x/(x+y+z) < 1`
`=> x/(x+y+z) < (x+t)/(x+y+z+t)`
Tương tự: `y/(x+y+t) < (y+z)/(x+y+z+t)`
`z/(y+z+t) < (z+x)/(x+y+z+t)`
`t/(x+z+t) < (t+y)/(x+y+z+t)`
`=> M < (2x+2y+2z+2t)/(x+y+z+t = 2)`
`⇒ 1 < M < 2.` Vậy `M` ko phải là số tự nhiên
