On the Optimality of Optimal Income Taxation · Study