Se da la desigualdad:
$$\left(\left(\frac{1}{2 \cdot 4} x - 1\right) - \left(\frac{1}{2}\right)^{x}\right) - 1 > 0$$
Para resolver esta desigualdad primero hay que resolver la ecuación correspondiente:
$$\left(\left(\frac{1}{2 \cdot 4} x - 1\right) - \left(\frac{1}{2}\right)^{x}\right) - 1 = 0$$
Resolvemos:
$$x_{1} = \frac{W\left(\frac{\log{\left(2 \right)}}{8192}\right)}{\log{\left(2 \right)}} + 16$$
$$x_{1} = \frac{W\left(\frac{\log{\left(2 \right)}}{8192}\right)}{\log{\left(2 \right)}} + 16$$
Las raíces dadas
$$x_{1} = \frac{W\left(\frac{\log{\left(2 \right)}}{8192}\right)}{\log{\left(2 \right)}} + 16$$
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{W\left(\frac{\log{\left(2 \right)}}{8192}\right)}{\log{\left(2 \right)}} + 16\right)$$
=
$$\frac{W\left(\frac{\log{\left(2 \right)}}{8192}\right)}{\log{\left(2 \right)}} + \frac{159}{10}$$
lo sustituimos en la expresión
$$\left(\left(\frac{1}{2 \cdot 4} x - 1\right) - \left(\frac{1}{2}\right)^{x}\right) - 1 > 0$$
$$-1 + \left(- \left(\frac{1}{2}\right)^{\frac{W\left(\frac{\log{\left(2 \right)}}{8192}\right)}{\log{\left(2 \right)}} + \frac{159}{10}} + \left(-1 + \frac{\left(\frac{1}{2}\right)^{2}}{2} \left(\frac{W\left(\frac{\log{\left(2 \right)}}{8192}\right)}{\log{\left(2 \right)}} + \frac{159}{10}\right)\right)\right) > 0$$
/log(2)\
W|------|
159 \ 8192 / /log(2)\
- --- - --------- W|------| > 0
1 10 log(2) \ 8192 /
- -- - 2 + ---------
80 8*log(2)
Entonces
$$x < \frac{W\left(\frac{\log{\left(2 \right)}}{8192}\right)}{\log{\left(2 \right)}} + 16$$
no se cumple
significa que la solución de la desigualdad será con:
$$x > \frac{W\left(\frac{\log{\left(2 \right)}}{8192}\right)}{\log{\left(2 \right)}} + 16$$
_____
/
-------ο-------
x1