sin(x) sin(3 x) - 1/4 > 0