cos(x)>=a