arcctgx*arcctgx<=0 desigualdades

Se da la desigualdad:
$$\operatorname{acot}{\left(x \right)} \operatorname{acot}{\left(x \right)} \leq 0$$
Para resolver esta desigualdad primero hay que resolver la ecuación correspondiente:
$$\operatorname{acot}{\left(x \right)} \operatorname{acot}{\left(x \right)} = 0$$
Resolvemos:
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

$$\operatorname{acot}{\left(0 \right)} \operatorname{acot}{\left(0 \right)} \leq 0$$

  2     
pi      
--- <= 0
 4      
     

pero

  2     
pi      
--- >= 0
 4      
     

signo desigualdades no tiene soluciones