cos(2)*cos(2*x)<=1 desigualdades

Se da la desigualdad:
$$\cos{\left(2 \right)} \cos{\left(2 x \right)} \leq 1$$
Para resolver esta desigualdad primero hay que resolver la ecuación correspondiente:
$$\cos{\left(2 \right)} \cos{\left(2 x \right)} = 1$$
Resolvemos:
Tenemos la ecuación
$$\cos{\left(2 \right)} \cos{\left(2 x \right)} = 1$$
es la ecuación trigonométrica más simple

Dividamos ambos miembros de la ecuación en cos(2)

La ecuación se convierte en
$$\cos{\left(2 x \right)} = \frac{1}{\cos{\left(2 \right)}}$$
Como el miembro derecho de la ecuación
en el módulo =

True

pero cos
no puede ser más de 1 o menos de -1
significa que la ecuación correspondiente no tiene solución.
$$x_{1} = \pi - \frac{\operatorname{acos}{\left(\frac{1}{\cos{\left(2 \right)}} \right)}}{2}$$
$$x_{2} = \frac{\operatorname{acos}{\left(\frac{1}{\cos{\left(2 \right)}} \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

$$\cos{\left(2 \right)} \cos{\left(0 \cdot 2 \right)} \leq 1$$

cos(2) <= 1

signo desigualdades se cumple cuando