Generalization: The theorem is usually stated in the form above, but it is actually valid in a slightly more general setting: We only need to assume that f : [a , b] -> R is continuous on [a , b], and that for every x in (a , b) the limit limh->0 (f(x+h)-f(x))/h exists or is equal to +/- infinity. |