月のフォンブラウン市だけで人口5千万なんだから
火星全体で数億人でも矛盾はないと思うけど