log_2(x+3)<=1