(sin(x/2)-1/2) ≥ 0