when is 2-2/x - log_2(x)>=0