cos(4x) <= sin(2x)