なんだか話の筋が見えてこないんだけど>>264>>265>>267>>269あたりを見るに
「（ある仮想的なモデルのもとでは）夫婦同姓だといつかは姓の数が1つになる」ということを
「白黒の2N個でペアを作る操作でk回目に同色にならない確率の上限(1-p)^kがk→∞で0に収束する」
ことから導こうとしているってことでいい？（記号の意味については>>264を参照のこと）