I just did a quick search and found several reputable sites saying the average FAANG salary is $230 (which is 5.75x).
According to the Bureau of Labor Statistics (BLS), the mean software engineering salary was $136,230 in 2022. So you're right thats only 3.5x.
Notice thats the mean. I suspect the median is actually slightly higher than the mean. So i'm guesstimating here. But I stand by my rough estimate.
Almost all statistics related to wealth and income I have seen indicate power law distributions, which would mean median is lower than mean.
The median salary of FAANG programmers in the Bay Area might be 4x that median. But I assure you that "most people reading this site" are not "FAANG programmers in the Bay Area" even if at times it might seem like they are.