Ramsey equilibrium models with heterogeneous agents and borrowing constraints are shown to yield efficient equilibrium sequences of aggregate capital and consumption. The proof of this result is based on verifying that equilibrium sequences of prices satisfy the Malinvaud criterion for efficiency.