P

Initializing...

Display (5.4), p. 7 (Filmus–Ward) — $\frac{e}{e-1} g(A) \ge g(B) + \sum_i [h(A) - h(A - a_i + b_i)]$ · Prove2Me