一応デモトを言っとくと杉のⅠの358の17.12のφの17.8に対する適用ね
φ連続は仮定されてないはずなのだが？
（352の注意1がごとく、有界変動であることは暗に仮定されとるのかね？）

>>756
うーーｎ
b∈[a,b]でφが∞をとってるかも知れない場合
φは「単調増加」とはいえなかったっけ？
そのとき総変動量は∞になると思うのだが？