|x-4|\leq3