絶対連続関数は有界変動関数である を区間 上の絶対連続関数(絶対連続関数の定義は既に与えました)とし、 を一つ固定して … (1) ならば … (2) を満たす を固定します。 として、 の細分 を考えるとき、細分をより細かく取った方が の値は大きくなりますので …