We are still looking for a proof, but x is approximately equal to .5295431..
One can look at the problem as x = (log 2)^x to solve.