Okay so there is a globally optimal point/region of taxation that is not "maximum taxation". Where is it?
https://en.wikipedia.org/wiki/Laffer_curve
https://en.wikipedia.org/wiki/Laffer_curve