On the optimal progressivity of the income tax · Study