sin(x)×cos(x)>=1 desigualdades

Se da la desigualdad:
$$\sin{\left(x \right)} \cos{\left(x \right)} \geq 1$$
Para resolver esta desigualdad primero hay que resolver la ecuación correspondiente:
$$\sin{\left(x \right)} \cos{\left(x \right)} = 1$$
Resolvemos:
$$x_{1} = 2 \operatorname{atan}{\left(- \frac{1}{2} + \frac{\sqrt{2} \sqrt{1 - \sqrt{3} i}}{2} + \frac{\sqrt{3} i}{2} \right)}$$
$$x_{2} = - 2 \operatorname{atan}{\left(\frac{1}{2} - \frac{\sqrt{2} \sqrt{1 + \sqrt{3} i}}{2} + \frac{\sqrt{3} i}{2} \right)}$$
$$x_{3} = - 2 \operatorname{atan}{\left(\frac{1}{2} + \frac{\sqrt{2} \sqrt{1 + \sqrt{3} i}}{2} + \frac{\sqrt{3} i}{2} \right)}$$
$$x_{4} = - 2 \operatorname{atan}{\left(\frac{1}{2} - \frac{\sqrt{3} i}{2} + \frac{\sqrt{2} \sqrt{1 - \sqrt{3} i}}{2} \right)}$$
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

$$\sin{\left(0 \right)} \cos{\left(0 \right)} \geq 1$$

0 >= 1

pero

0 < 1

signo desigualdades no tiene soluciones