The optimal inflation tax when taxes are costly to collect | lit.salon