Se da la desigualdad:
$$2 \left(\sin{\left(4 x \right)} + \cos{\left(4 x \right)}\right) - 3 \leq 0$$
Para resolver esta desigualdad primero hay que resolver la ecuación correspondiente:
$$2 \left(\sin{\left(4 x \right)} + \cos{\left(4 x \right)}\right) - 3 = 0$$
Resolvemos:
$$x_{1} = \frac{\operatorname{atan}{\left(\frac{2}{5} - \frac{i}{5} \right)}}{2}$$
$$x_{2} = \frac{\operatorname{atan}{\left(\frac{2}{5} + \frac{i}{5} \right)}}{2}$$
Descartamos las soluciones complejas:
Esta ecuación no tiene soluciones,
significa que esta desigualdad se cumple siempre o no se cumple nunca
comprobemos
sustituimos con un punto arbitrario, por ejemplo
x0 = 0
$$-3 + 2 \left(\sin{\left(0 \cdot 4 \right)} + \cos{\left(0 \cdot 4 \right)}\right) \leq 0$$
-1 <= 0
signo desigualdades se cumple cuando