Theorem 1, proof — summing over players: $\mathrm{SUM}(A) \le \sum_{e} n_e(P) f_e(n_e(A)+1)$

Initializing...

Theorem 1, proof — summing over players: $\mathrm{SUM}(A) \le \sum_{e} n_e(P) f_e(n_e(A)+1)$ · Prove2Me