Let I ⊂ R be an interval and let f : I → R be increasing on I. If c is not an endpoint of I, show that the jump jf (c) of f at c is given by inf{f(y) - f(x) : x < c < y, x, y ∈ I}