Suppose the United States moved from the current pay-as you-go Social Security system to a fully funded one, and financed the transition without additional government borrowing. How would the shift to a fully funded system affect the level and the rate of growth of output per worker in the long run?