P
Initializing...
Lemma 3.2 — the fractional cost $\sum_S w_S c_S$ stays at most $1 + (1+1/n)\,\alpha\log(m^2(1+1/n))$ · Prove2Me