7^(-abs(x-3))*log2(6x-x^2-7)>=1