Prove Proposition 9.8.
Proposition 9.8
Consider the above-described OLG economy and suppose that the decentralized competitive equilibrium is dynamically inefficient. Then there exists a feasible sequence of unfunded social security payments
that leads to a competitive equilibrium starting from any date t that Pareto dominates the competitive equilibrium without social security.