We develop a quantitative heterogeneous-agents general equilibrium model that reproduces the income inequalities of 32 countries in the Organization for Economic Co-operation and Development. Using this model, we compute the optimal income tax rate for each country under the equal-weight...