The life-cycle patterns of consumption, wage and hours inequality observed in U.S. cross-section data are commonly viewed as incompatible with a Pareto efficient allocation. We determine the extent to which these qualitative and quantitative patterns can or cannot be produced by Pareto efficient...

How far is the US social insurance system from an efficient system? We answer this question within a model where agents receive idiosyncratic, labor-productivity shocks that are privately observed. When social security and income taxation comprise the social insurance system, the maximum...