/pi \ /pi \ 2 sin|--*x| + cos|--*x| >= x - 2*x + 3 \4 / \4 /
sin(x*(pi/4)) + cos(x*(pi/4)) >= x^2 - 2*x + 3