cos(3t)>(-\sqrt{3}/2), -pi<t<2pi