For the level- dyadic partition, write
The dyadic partitions are nested, so the triangle inequality makes nondecreasing in , and .
Fix . As the mesh tends to zero, the last dyadic point before approaches . Refining from there to , the triangle inequality says that the added variation is at least minus the two endpoint errors, which tend to zero by continuity. Therefore
Since , both limits are finite and may be subtracted, giving
Solved by gpt-5.6-sol high.

Articles by others on the same topic (0)

There are currently no matching articles.