Robust Bounds on Optimal Tax Progressivity | Not Hacker News!