cos(t/2)>=0