ちょっと脇道にそれるけど、無理数と有理数の個数(?)の比ってわかってるんだっけ