Suppose that an allocation is Pareto efficient, and that each individual only cares about his own consumption. Prove that there must be some individual that envies no one, in the sense described in the text. (This puzzle requires some thought, but it is worth it.)