I only have experience with one FAANG (Amazon), but I think your numbers are misleading. There are different ranks of software engineers, and 250K is somewhere in the middle of the salary range for the second rank (SDE II). SDE Is are making six digits, but the first digit is almost certainly a 1.