Se da la desigualdad:
$$\frac{\left(\frac{x}{9}\right)^{\log{\left(x \right)}}}{\log{\left(3 \right)}} \leq 1$$
Para resolver esta desigualdad primero hay que resolver la ecuación correspondiente:
$$\frac{\left(\frac{x}{9}\right)^{\log{\left(x \right)}}}{\log{\left(3 \right)}} = 1$$
Resolvemos:
$$x_{1} = \frac{3}{e^{\sqrt{\log{\left(\log{\left(3 \right)} \right)} + \log{\left(3 \right)}^{2}}}}$$
$$x_{2} = 3 e^{\sqrt{\log{\left(\log{\left(3 \right)} \right)} + \log{\left(3 \right)}^{2}}}$$
$$x_{1} = \frac{3}{e^{\sqrt{\log{\left(\log{\left(3 \right)} \right)} + \log{\left(3 \right)}^{2}}}}$$
$$x_{2} = 3 e^{\sqrt{\log{\left(\log{\left(3 \right)} \right)} + \log{\left(3 \right)}^{2}}}$$
Las raíces dadas
$$x_{1} = \frac{3}{e^{\sqrt{\log{\left(\log{\left(3 \right)} \right)} + \log{\left(3 \right)}^{2}}}}$$
$$x_{2} = 3 e^{\sqrt{\log{\left(\log{\left(3 \right)} \right)} + \log{\left(3 \right)}^{2}}}$$
son puntos de cambio del signo de desigualdad en las soluciones.
Primero definámonos con el signo hasta el punto extremo izquierdo:
$$x_{0} \leq x_{1}$$
Consideremos, por ejemplo, el punto
$$x_{0} = x_{1} - \frac{1}{10}$$
=
$$- \frac{1}{10} + \frac{3}{\left(e^{1}\right)^{\sqrt{\log{\left(\log{\left(3 \right)} \right)} + \log{\left(3 \right)}^{2}}}}$$
=
$$- \frac{1}{10} + \frac{3}{e^{\sqrt{\log{\left(\log{\left(3 \right)} \right)} + \log{\left(3 \right)}^{2}}}}$$
lo sustituimos en la expresión
$$\frac{\left(\frac{x}{9}\right)^{\log{\left(x \right)}}}{\log{\left(3 \right)}} \leq 1$$
$$\frac{\left(\frac{- \frac{1}{10} + \frac{3}{\left(e^{1}\right)^{\sqrt{\log{\left(\log{\left(3 \right)} \right)} + \log{\left(3 \right)}^{2}}}}}{9}\right)^{\log{\left(- \frac{1}{10} + \frac{3}{\left(e^{1}\right)^{\sqrt{\log{\left(\log{\left(3 \right)} \right)} + \log{\left(3 \right)}^{2}}}} \right)}}}{\log{\left(3 \right)}} \leq 1$$
/ _______________________\
| / 2 |
| 1 -\/ log (3) + log(log(3)) |
log|- -- + 3*e |
\ 10 /
/ _______________________\
| / 2 | <= 1
| -\/ log (3) + log(log(3)) |
| 1 e |
|- -- + ----------------------------|
\ 90 3 /
-------------------------------------------------------------------------------
log(3)
pero
/ _______________________\
| / 2 |
| 1 -\/ log (3) + log(log(3)) |
log|- -- + 3*e |
\ 10 /
/ _______________________\
| / 2 | >= 1
| -\/ log (3) + log(log(3)) |
| 1 e |
|- -- + ----------------------------|
\ 90 3 /
-------------------------------------------------------------------------------
log(3)
Entonces
$$x \leq \frac{3}{e^{\sqrt{\log{\left(\log{\left(3 \right)} \right)} + \log{\left(3 \right)}^{2}}}}$$
no se cumple
significa que una de las soluciones de nuestra ecuación será con:
$$x \geq \frac{3}{e^{\sqrt{\log{\left(\log{\left(3 \right)} \right)} + \log{\left(3 \right)}^{2}}}} \wedge x \leq 3 e^{\sqrt{\log{\left(\log{\left(3 \right)} \right)} + \log{\left(3 \right)}^{2}}}$$
_____
/ \
-------•-------•-------
x1 x2