I would say that orzdevinwang got pretty close recently. But yes, it is more like $$$3$$$. And of course I'm not trying to detract from any of their achievements, but wouldn't it be nice if a $$$4000+$$$ rating could be achieved by $$$1$$$ person at most, especially if we are calling participants with $$$1000$$$ rating less than it $$$legendary$$$?

at such rating even being 2nd means you lose rating.

That is not true anymore.

okay I got one for you (it took like over an hour)

The onlookers mock; they jeer and shriek

at the chimp with truth, so bleak.

But through their taunts, their sneers, their attack

they too recognize the gloomy fact:

the rating of 3000 is no longer so peak.

How is a rating of $$$4000$$$ reasonable? Magnus is the best chess player of all time, but he is not even $$$3000$$$. $$$4000$$$ is just not a reasonable rating, especially since $$$3000+$$$ is considered legendary. Bigfoot is legendary, not $$$3000$$$ on codeforces.

I even found an old thread about the rating system where users actually kind of respected the truth in the name legendary grand master. There were only $$$2$$$ or $$$3$$$ at the time, but everyone was concerned about the possibility that more could arise in the future. Why would you celebrate more LGMs? It doesn't really say anything about the actual improvement of cf's userbase — it just says that the rating system is inflated at the top (and possibly more users are joining, but I don't think that that is such a big issue). But here we are with $$$50+$$$ active LGMs, and the title has lost pretty much all meaning. You aren't one of the best of all time if you reach $$$3000$$$, now you must reach $$$4000$$$. What happens when $$$3$$$ or $$$4$$$ users get to $$$4000+$$$ simultaneously? Well, according to codeforces, they are all so beyond "legendary" that they should be put into a whole separate category. But I'd say that if $$$5+$$$ people get to that title, then that title itself isn't even worthy of the word $$$legendary$$$.