And this is equal to k times the integral over an interval of length 1/k, and the mean value theorem says that on this interval, there is a value of f, namely f of γ, there exists at least one value f of γ which is equal to this integral. 