sqrt(2)cos(x)+1<0 from 0 to 4pi