1>log_x(y)