实分析第三章——函数的可微性——有界变差函数（3）、康托尔勒贝格函数

接着，我们来研究一个类似于牛顿莱布尼茨公式的定理：

首先由定理3.6得出导函数的一些性质：

接着利用Fatuo引理：

自然的将n趋向无穷：

则有：

又：

接下来，我们来构造严格使不等式成立的函数：