Robust Bounds on Optimal Tax Progressivity | Hacker News Reader