We derive the optimal income tax schedule for a life cycle labor supply model in which productivity varies exogenously and deterministically. Individuals choose whether and how much to work at each date. The government must finance a given expenditure and does not have access to lump sum...