Consider the baseline OLG model and suppose that the equilibrium is dynamically efficient, that is, r∗ > n. Show that any unfunded social security system increases the welfare of the current old generation and reduces the welfare of some future generation.