This is an exercise from Royden, Flitzpatrick's Real Analysis (4th edition), chapter 6, Q.N. 39.
Let $f:[a,b]\to \mathbb R$ be an increasing function. I have to show that $f$ is absolutely continuous iff for every $\varepsilon >0$ there exists $\delta >0$ such that for every measurable subset $E$ of $[a,b]$ with $m(E)<\delta$, we have $m^*(f(E))<\varepsilon$.
I proceed like this: Let $f$ be increasing and absolutely continuous. Let $\varepsilon >0$. Thus there exists $\delta >0$ such that $\delta$ satisfies the requirements for absolute continuity. Let $E$ be a measurable subset of $[a,b]$ with $m(E)<\delta$. Thus there exists a pairwise disjoint countable collection of open intervals $\{(a_k,b_k):k=1,2,\ldots,n\}$ such that $E\subset \bigcup\limits_{k=1}^{\infty}(a_k,b_k)$ and $\sum\limits_{k=1}^{\infty}|b_k-a_k|<\delta$. Since $f$ is increasing, therefore $f((a_k,b_k))\subset (f(a_k),f(b_k))$ for all $k\in \mathbb{N}$. Thus $f(E)\subset f(\bigcup\limits_{k=1}^{\infty}(a_k,b_k))\subset \bigcup\limits_{k=1}^{\infty} (f(a_k),f(b_k))$ and so $m^*(f(E))\leq \sum\limits_{k=1}^{\infty}|f(b_k)-f(a_k)|<\varepsilon$ as $f$ is absolutely continuous.
Conversely, let the given condition hold. Let $\varepsilon >0$ and let $\delta$ work for it. Let $\{(a_n,b_n):n\in \mathbb{N}\}$ be a pairwise disjoint collection of open intervals such that $\sum\limits_{n=1}^{\infty}|b_n-a_n|<\delta$. Then $E=\bigcup\limits_{n=1}^{\infty}(a_n,b_n)$ is a Lebesgue measurable set with $m(E)=\sum\limits_{n=1}^{\infty}|b_n-a_n|<\delta$. Therefore by hypothesis, $m^*(f(E))<\varepsilon$.
Problem starts here. Unless $f$ is continuous $f(a_k,b_k)$ and $(f(a_k),f(b_k))$ may not be same. Then how to proceed. Please help.
