0<x<sqrt(pi/2) && (x-x^3/3!+x^5/5!)^2<x^2-x^6/3!