Lemma 5.2, p. 7 — $g(A)+\ell(A) \ge (1-e^{-1})g(B)+\ell(B)+\sum_i[\psi(A)-\psi(A-a_i+b_i)]$

Initializing...

Lemma 5.2, p. 7 — $g(A)+\ell(A) \ge (1-e^{-1})g(B)+\ell(B)+\sum_i[\psi(A)-\psi(A-a_i+b_i)]$ · Prove2Me