sqrt(3-4cos^2(x))>1+3sin(x)