2^(1/2)cos(x+(pi/6))>=-1