Optimal tax theory or the theory of optimal taxation is the study of designing and implementing a tax that maximises a social welfare function subject to economic constraints. The social welfare function used is typically a function of individuals' utilities, most commonly some form of utilitarian function, so the tax system is chosen to maximise the aggregate of individual utilities. Tax revenue is required to fund the provision of public goods and other government services, as well as for redistribution from rich to poor individuals. However, most taxes distort individual behavior, because the activity that is taxed becomes relatively less desirable; for instance, taxes on labour income reduce the incentive to work. The optimization problem involves minimizing the distortions caused by t