Let's prove that the function f(x)=∣x−7∣ is not differentiable at x=7. We begin by removing the absolute value bars and stating f as a piecewise function. This will be helpful when we must evaluate the one-sided limits in order to apply the limit definition of the derivative

f(x) = {A x ≥ 7
{B x < 7