sin((x*pi)/2) < (x-2)^3-1