Robust Bounds on Optimal Tax Progressivity