Optimal Tax Progressivity: An Analytical Framework* · Study