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?