Cutting a Cake for Infinitely Many Guests

Fair division with unequal shares is an intensively studied resource allocation problem. For i ∈ [n], let µi be an atomless probability measure on the measurable space (C, S) and let ti be positive numbers (entitlements) with Pn i=1 ti = 1. A fair division is a partition of C into sets Si ∈ S with µi(Si) > ti for every i ∈ [n]. We introduce new algorithms to solve the fair division problem with irrational entitlements. They are based on the classical Last diminisher technique and we believe that they are simpler than the known methods. Then we show that a fair division always exists even for infinitely many players.