Suppose is a function. Let be a positive integer. If for all then is Lipschitz.

A function is absolutely continuous on if for every positive number , there is a positive number such that whenever a sequence of pairwise disjoint sub-intervals of satisfies then .

Since it has a finite diameter. Call this . Let . Choose . Then:

. Hence is absolutely continuous.

Is this correct?