名前だけでここに書くのもなんだが、
ラムゼイ基数ってどのぐらい大きいの?