Pareto optimality of the golden rule equilibrium in an overlapping generations model with production and transfers

The main result is that the golden rule equilibrium (GRE) is Pareto optimal (in the classical sense) in an overlapping generations (OG) model with constant-returns-to-scale production, transfers, arbitrary life-time productivity and CES instantaneous felicity. In addition, we extend Cass and Yaari’s [10] equivalence between efficiency (aggregate consumption dominance) and the present value dominance (with evaluation made using a candidate equilibrium price path)