>>926
>排反なBn,b(n>0)の無限和まで対象にできないものかな
大丈夫のよう
Bni,biがお互い排反だとすると
¬bi≡bj mod (ni,nj)
このとき
Σ(1/ni)≦1
だから
Pr(ΣBni,bi)=Σ(1/ni)
で定義してもよさそうだ