 There is a single type of good.Each consumer formula_5 wants at most a single unit of the good, which gives him a utility of formula_56.The consumers are ordered such that formula_57 is a weakly increasing function of formula_5.