I have to disagree. Just because historic pay ratcheting has landed median pay at $9M (I'll take your word for it, but that sounds low), doesn't mean it's right. $9M is better than most lotteries. At some point the gawk factor outweighs the competitive argument.
Not that there is a solution -- if any one company pays less then yes, they'll lose their "talent." Just part of the economic stratification effort we're pursuing.