Solve sin x <= -1/2 on [0, 2pi)