0072132人目の素数さん垢版 | 大砲2015/05/06(水) 09:09:31.62ID:dTOuzrL4 >>71 に補足しておくと、card(A)≦Y_n なる自然数 n が取れるので、 2^card(A) ≦ Y_{n+1}<X. べつに A がどれかの Y_k に含まれる必要はなくて、 A の基数を上から押さえる Y_n が存在すればよい。