(x+1)/(x^4+x^3+x^2+1)-1/(x^4-x^3+2x^2-x+1) leq (1-x)/(x^2-x+1)