log_x(3x)<=sqrt(log_x(3x^7))