Let f : [a, x) R be a differentiable function, such that lim f' (...