[0, 2pi) で sin x <= -1/2 を解け。