§4.2, proof of Theorem 4.4 — v_i(A_j ∖ {y_1}) ≤ 3/α · v_i(A_i), with y_1 the first good of A_j in the deviation run

Initializing...

§4.2, proof of Theorem 4.4 — v_i(A_j ∖ {y_1}) ≤ 3/α · v_i(A_i), with y_1 the first good of A_j in the deviation run · Prove2Me