We study the optimal inflation tax in an economy with heterogeneous agents subject to nonlinear taxation of labor income. We find that the Friedman rule is Pareto efficient when combined with a nondecreasing labor income tax. In addition, the optimum for a utilitarian social welfare function...