Giải thích các bước giải:
Ta có:
`x/(x+y+z+t)<x/(x+y+z)<(x+t)/(x+y+z+t)`
`y/(x+y+z+t)<y/(x+y+t)<(y+z)/(x+y+z+t)`
`z/(x+y+z+t)<z/(y+z+t)<(x+z)/(x+y+z+t)`
`t/(x+y+z+t)<t/(x+z+t)<(y+t)/(x+y+z+t)`
`=>x/(x+y+z+t)+y/(x+y+z+t)+z/(x+y+z+t)+t/(x+y+z+t)<x/(x+y+z)+y/(x+y+t)+z/(y+z+t)+t/(x+z+t)<(x+t)/(x+y+z+t)+(y+z)/(x+y+z+t)+(x+z)/(x+y+z+t)+(y+t)/(x+y+z+t)`
`=>(x+y+z+t)/(x+y+z+t)<P<(2(x+y+z+t))/(x+y+z+t)`
`=>1<P<2`
`=>P` không phải là số tự nhiên