Suppose a social welfare function f has complete and transitive values and
the set X of outcomes has size m > 3. If the domain D of f has the free qua
druple property then the fraction of pairs on which f satisfies nondictator
ship, independence, and Pareto is less than or equal to (1/m(1/2) + 1/m-1).