Optimal Taxation and Public Production I: Production Eficiency · Study