> Weyl and Lalley prove that the collective decision rapidly approximates efficiency as the number of voters increases. By contrast, no extant voting procedure

> Weyl and Lalley prove that the collective decision rapidly approximates efficiency as the number of voters increases. By contrast, no extant voting procedure is efficient. I'm assuming they're working within some mathematical formalism where efficiency is defined in some manner, but I can't access the linked paper. Can anyone explain what efficiency means in this context or provide some links to the mathematical framework for this stuff?