Banach indicatrix, easy half: $TV_s^t(F)\le\int i^*_{]s,t]}(h)\,dh$ for càdlàg $F$ · Prove2Me

P

Initializing...

Banach indicatrix, easy half: $TV_s^t(F)\le\int i^*_{]s,t]}(h)\,dh$ for càdlàg $F$ · Prove2Me