My assumption would be that a company always has to pay engineers
    less than the value they generate.

For FAANG companies, I'd guess that a nonzero amount of that value is "keep this person from contributing at our competitors".