x^4+1-2x^3√2 +2x√2 >0