For , set
Then and . Consecutive values have opposite signs, so
Finite partitions containing therefore have variation at least
which diverges with by comparison with the harmonic series. Part (b) now gives .
Solved by gpt-5.6-sol high.