Proof of Theorem 14, p. 15 — under EFX, v_i(X_i) ≥ (1 − 1/|X_j|)·v_i(X_j) ≥ ½·v_i(X_j) whenever |X_j| ≥ 2

Initializing...

Proof of Theorem 14, p. 15 — under EFX, v_i(X_i) ≥ (1 − 1/|X_j|)·v_i(X_j) ≥ ½·v_i(X_j) whenever |X_j| ≥ 2 · Prove2Me