It is proved that the equation x * 2 ^ x = 1 has at least one positive root less than 1

It is proved that the equation x * 2 ^ x = 1 has at least one positive root less than 1

prove:
Let f (x) = x * 2 ^ X-1
Because: 2 ^ x > 0 holds on R
So: X