log_2(x)>=log_x(64)+1