Finite telescoping: a step function constant off a finite set Z, jumping by m(z) across each z in Z, increases by the sum of the jumps strictly between two generic points

Initializing...

Finite telescoping: a step function constant off a finite set Z, jumping by m(z) across each z in Z, increases by the sum of the jumps strictly between two generic points · Prove2Me