It might looks simple, but it's a real challenge. In fact, if
=2^x-5-x)
, then f has 2 zeros. It means that the solution is not singular. But to prove it... not easy.
=ln(2)e^{xln(2)}=ln(2)e^x-1)
. We want to study its sign. So we want to find when it is equal to

.
=0 \Leftrightarrow ln(2)e^x=1 \Leftrightarrow x=ln(\frac{1}{ln(2)})=-ln(ln2))
.
Now if
, f'(x)<0)
. It means that
)
is decreasing from negative infinite to
)
. As when
)
,
>0)
,
)
is increasing from
)
to positive infinite.
f(0)=-4. As it will increase (strictly), it must cross the x axis on a single point when

. You can find a similar conclusion calculating for example
)
. It means that the roots of f are respectively between
![[-10,0]](http://latex.codecogs.com/png.latex?[-10,0])
and
![[0,5]](http://latex.codecogs.com/png.latex?[0,5])
. (5 because
>0)
). Now to find the roots, you can say that there is an easy one to see, when

. To calculate the other root, I suggest you the bisection method which will work.