log_{2^{-1}}(x-3)+1\geq log_{2^{-1}}\frac{1}{x-4}