Lemma 3.3 — deleting elements at most $(r-1)/r$ preserves $FFD(L)>rL^*+d$ (and likewise for BFD)

Initializing...

Lemma 3.3 — deleting elements at most $(r-1)/r$ preserves $FFD(L)>rL^*+d$ (and likewise for BFD) · Prove2Me