>>529
シーズン2では10億回のバトルがされてます。
ランク7勢は100戦
ガチ勢は1000戦と仮定すると

世界のアクティブユーザーは3年前で6500万人。周りを見渡してランク7勢は多くても1/5くらいでしょうか。
ランク7勢を1300万人と仮定するとこの層が6億5000万回バトルをしています。
残りの3億5000万回がガチ勢とすると、約70万人ぐらいがガチ勢。

ランク10到達は1000-3000人とするとガチ勢のなかでも0.2-0.5%くらいでしょうか。仮に0.3%とします。

ガチ勢のレートを2250を中心とした正規分布と仮定します。3000以上が0.3%の場合、ランク9はガチ勢の16%で11万人位と推定される。2750以上はガチ勢の2.5%で1.7万人くらいでしょうか。

結論としてガチでレートバトルしてる人で
3000以上は2100人
2750-3000は1万5000人
2500-2750は10万人
2250-2500は23万人
2000-2250は23万人
1750-2000は10万人くらいの分布でしょうか。