Many-Person Ramsey Rule and Nonlinear Income Taxation