Solve[8x^2 <64xLog[2,x]]