log(0.5)*5 < log(0.5*x)
5*log(0.5) < log(0.5*x)
0.0625 <= x
[0.0625, oo)
x in Interval(0.0625000000000000, oo)