P
Initializing...
Theorem 14, p. 14 — an allocation meeting Theorem 8's three conditions gives every agent at least MMS_i(n, M)/(2 − |P|/n) · Prove2Me