f(x) = x * 2^x - 1 。 (0, 1) 中有根?