予め設定されてる組(X、2X)として、n-a<X<n+αである確率がnに寄らず一定であるとすると、
組(X/2,X)がその条件を満たす確率は二倍である。