令 f ∈ A C [ 0 , 1 ] {\displaystyle f\in AC[0,1]} 是 [0,1] 上的絕對連續函式，且 f > 0 {\displaystyle f>0} 。證明 1 / f ∈ A C [ 0 , 1 ] {\displaystyle 1/f\in AC[0,1]} .
由於 f {\displaystyle f} 是（絕對）連續的，且 f > 0 {\displaystyle f>0} ，則存在某個 0 < m = min x ∈ [ 0 , 1 ] f ( x ) {\displaystyle 0<m=\min _{x\in [0,1]}f(x)} .
由於 f ∈ A C [ 0 , 1 ] {\displaystyle f\in AC[0,1]} ，對於任意 ϵ > 0 {\displaystyle \epsilon >0} ，都存在某個 δ > 0 {\displaystyle \delta >0} 使得對於任意有限個不相交的區間集合 I k = ( x k , y k ) , k = 1 , . . . , n {\displaystyle I_{k}=(x_{k},y_{k}),k=1,...,n} ，若 ∑ k = 1 n | y k − x k | < δ {\displaystyle \sum _{k=1}^{n}|y_{k}-x_{k}|<\delta } ，則 ∑ k = 1 n | f ( y k ) − f ( x k ) | < ϵ m 2 {\displaystyle \sum _{k=1}^{n}|f(y_{k})-f(x_{k})|<\epsilon m^{2}} .
那麼對於上述任何區間集合，我們有 ∑ k = 1 n | 1 f ( y k ) − 1 f ( x k ) = ∑ k = 1 n | f ( x k ) − f ( y k ) f ( y k ) f ( x k ) | ≤ ∑ k = 1 n 1 m 2 | f ( y k ) − f ( x k ) | < ϵ {\displaystyle \sum _{k=1}^{n}|{\frac {1}{f(y_{k})}}-{\frac {1}{f(x_{k})}}=\sum _{k=1}^{n}|{\frac {f(x_{k})-f(y_{k})}{f(y_{k})f(x_{k})}}|\leq \sum _{k=1}^{n}{\frac {1}{m^{2}}}|f(y_{k})-f(x_{k})|<\epsilon } .
是（絕對）連續的，且 
，則存在某個 ![{\displaystyle 0<m=\min _{x\in [0,1]}f(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1def45fd5a77d9111a8d557f516cec6029980441)
.![{\displaystyle f\in AC[0,1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e925d040fd8bd1ddd9f931cf5562858fa4084530)
，對於任意 
，都存在某個 
使得對於任意有限個不相交的區間集合 
，若 
，則 
.
.
![{\displaystyle 1/f\in AC[0,1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ced348bca36131a85ff338cbb6dc34b62365890)
