In an economy with identical infinitely-lived households that obtain utility from leisure as well as consumption, Chamley (1986) and Judd (1985) have shown that the optimal tax system to pay for an exogenous stream of government purchases involves a zero tax rate on capital in the long run, with...