Ta có: \(\left(y^2-y\right)+2\ge0\Rightarrow2y^3\le y^4+y^2\)
\(\Rightarrow\left(x^3+y^2\right)+\left(x^2+y^3\right)\le\left(x^2+y^2\right)+\left(y^4+x^3\right)\)
Mà \(x^3+y^4\le x^2+y^3\)
\(\Rightarrow x^3+y^3\le x^2+y^2\left(1\right)\)
Lại có: \(x\left(x-1\right)^2\ge0;y\left(y+1\right)\left(y-1\right)^2\ge0\)
\(\Rightarrow x\left(x-1\right)^2+y\left(y+1\right)\left(y-1\right)^2\ge0\)
\(\Rightarrow x^3-2x^2+x+y^4-y^3-y^2+y\ge0\)
\(\Rightarrow\left(x^2+y^2\right)+\left(x^2+y^3\right)\le\left(x+y\right)+\left(x^3+y^4\right)\)
Mà \(x^2+y^3\ge x^3+y^4\)
\(\Rightarrow x^2+y^2\le x+y\left(2\right)\)
Và \(\left(x+1\right)\left(x-1\right)\ge0;\left(y-1\right)\left(y^3-1\right)\ge0\)
\(x^3-x^2-x+1+y^4-y-y^3+1\ge0\)
\(\Rightarrow\left(x+y\right)+\left(x^2+y^3\right)\le2+\left(x^3+y^4\right)\)
Mà \(x^2+y^3\ge x^3+y^4\)
\(\Rightarrow x+y\le2\left(3\right)\)
Từ (1), (2), (3) => đpcm
