That's more than thirty times the average US salary so at least thirty times the average amount of taxes paid by a person - a bit more would still be fair as ut

That's more than thirty times the average US salary so at least thirty times the average amount of taxes paid by a person - a bit more would still be fair as utility of money decreases quickly past a certain point - and different taxes on the stock benefits and capital gains. The amount of hours someone works is completely irrelevant. Paying taxes is not about whether you deserve the money nor is it a punishment. It's entierely about how much you can contribute.