Optimal observability in a linear income tax

We study the optimal observability of the tax base within the standard linear income tax problem, where observability is determined by the government's investment into the accurate measurement of the tax base.