Se da la desigualdad:
$$\left(\left(- 4 \sqrt{3} x + \left(3^{x} - 1\right)\right) - 1\right) + 1 > 0$$
Para resolver esta desigualdad primero hay que resolver la ecuación correspondiente:
$$\left(\left(- 4 \sqrt{3} x + \left(3^{x} - 1\right)\right) - 1\right) + 1 = 0$$
Resolvemos:
$$x_{1} = - \frac{\sqrt{3}}{12} - \frac{W\left(- \frac{\sqrt{3} \log{\left(3 \right)}}{12 \cdot 3^{\frac{\sqrt{3}}{12}}}\right)}{\log{\left(3 \right)}}$$
$$x_{1} = - \frac{\sqrt{3}}{12} - \frac{W\left(- \frac{\sqrt{3} \log{\left(3 \right)}}{12 \cdot 3^{\frac{\sqrt{3}}{12}}}\right)}{\log{\left(3 \right)}}$$
Las raíces dadas
$$x_{1} = - \frac{\sqrt{3}}{12} - \frac{W\left(- \frac{\sqrt{3} \log{\left(3 \right)}}{12 \cdot 3^{\frac{\sqrt{3}}{12}}}\right)}{\log{\left(3 \right)}}$$
son puntos de cambio del signo de desigualdad en las soluciones.
Primero definámonos con el signo hasta el punto extremo izquierdo:
$$x_{0} < x_{1}$$
Consideremos, por ejemplo, el punto
$$x_{0} = x_{1} - \frac{1}{10}$$
=
$$- \frac{1}{10} + \left(- \frac{\sqrt{3}}{12} - \frac{W\left(- \frac{\sqrt{3} \log{\left(3 \right)}}{12 \cdot 3^{\frac{\sqrt{3}}{12}}}\right)}{\log{\left(3 \right)}}\right)$$
=
$$- \frac{\sqrt{3}}{12} - \frac{1}{10} - \frac{W\left(- \frac{\sqrt{3} \log{\left(3 \right)}}{12 \cdot 3^{\frac{\sqrt{3}}{12}}}\right)}{\log{\left(3 \right)}}$$
lo sustituimos en la expresión
$$\left(\left(- 4 \sqrt{3} x + \left(3^{x} - 1\right)\right) - 1\right) + 1 > 0$$
$$\left(-1 + \left(\left(-1 + 3^{- \frac{\sqrt{3}}{12} - \frac{1}{10} - \frac{W\left(- \frac{\sqrt{3} \log{\left(3 \right)}}{12 \cdot 3^{\frac{\sqrt{3}}{12}}}\right)}{\log{\left(3 \right)}}}\right) - 4 \sqrt{3} \left(- \frac{\sqrt{3}}{12} - \frac{1}{10} - \frac{W\left(- \frac{\sqrt{3} \log{\left(3 \right)}}{12 \cdot 3^{\frac{\sqrt{3}}{12}}}\right)}{\log{\left(3 \right)}}\right)\right)\right) + 1 > 0$$
/ ___ \
| -\/ 3 |
| ------- | / / ___ \\
| ___ 12 | | | -\/ 3 ||
|-\/ 3 *3 *log(3) | | | ------- ||
___ W|-----------------------| | | ___ 12 || > 0
1 \/ 3 \ 12 / | |-\/ 3 *3 *log(3) ||
- -- - ----- - -------------------------- | ___ W|-----------------------||
10 12 log(3) ___ | 1 \/ 3 \ 12 /|
-1 + 3 - 4*\/ 3 *|- -- - ----- - --------------------------|
\ 10 12 log(3) /
significa que la solución de la desigualdad será con:
$$x < - \frac{\sqrt{3}}{12} - \frac{W\left(- \frac{\sqrt{3} \log{\left(3 \right)}}{12 \cdot 3^{\frac{\sqrt{3}}{12}}}\right)}{\log{\left(3 \right)}}$$
_____
\
-------ο-------
x1