Edgeworth's limit theorem is an economic theorem, named after Francis Ysidro Edgeworth, stating that the core of an economy shrinks to the set of Walrasian equilibria as the number of agents increases to infinity. That is, among all possible outcomes which may result from free market exchange or barter between groups of people, while the precise location of the final settlement (the ultimate division of goods) between the parties is not uniquely determined, as the number of traders increases, the set of all possible final settlements converges to the set of Walrasian equilibria. Intuitively, it may be interpreted as stating that as an economy grows larger, agents increasingly behave as if they are price-taking agents, even if they have the power to bargain. Edgeworth (1881) conjectured the theorem, and provided most of the necessary intuition and went some way towards its proof. Formal proofs were presented under different assumptions by Debreu and Scarf (1963) as well as Aumann (1964), both proved under conditions stricter than what Edgeworth conjectured. Debreu and Scarf considered the case of a "replica economy" where there is a finite number of agent types and the agents added to the economy to make it "large" are of the same type and in the same proportion as those already in it. Aumann's result relied on an existence of a continuum of agents. The core of an economy The core of an economy is a concept from cooperative game theory defined as the set of feasible allocations in an economy that cannot be improved upon by subset of the set of the economy's consumers (a coalition). For general equilibrium economies typically the core is non-empty (there is at least one feasible allocation) but also "large" in the sense that there may be a continuum of feasible allocations that satisfy the requirements. The conjecture basically states that if the number of agents is also "large" then the only allocations in the core are precisely what a competitive market would produce. As such, the conjecture is seen as providing some game-theoretic foundations for the usual assumption in general equilibrium theory of price taking agents. In particular, it means that in a "large" economy people act as if they were price takers, even though theoretically they have all the power to set prices and renegotiate their trades. Hence, the fictitious Walrasian auctioneer of general equilibrium, while strictly speaking completely unrealistic, can be