This paper examines the allocative implications of progressive income taxation when individuals care about their … relative income. It shows that tax progressivity might improve efficiency, and the more so in egalitarian economies …. Introducing a progressive income tax can yield a Pareto improvement if pre-tax income is evenly distributed. Implementing …