On the optimal progressivity of the income tax code · Study