Seol mar théacs é seo: The efficiency of fair division