log(2,x) +1<=|x-4|