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...