W関数を使って表示すれば x > W(a log4)/(a log4)。ただしlogは自然対数。
いくつかの自然数aで数値的に解けば、
a = 1: x > 0.5 ( = 1/2)
a = 2: x > 0.36425
a = 3: x > 0.294194
a = 4: x > 0.25 ( = 1/4)
a = 5: x > 0.21906 等