>>797
>δ=(2(km+r)+1)/(2m+1)・ε
これではm,rに依存してしまうからダメだな
(2(km+r)+1)/(2m+1)・ε=kε+sε
-(k-1)≦(2m+1)s=2r+1-k≦k-1
-(k-1)/(2m+1)≦s≦(k-1)/(2m+1)
1-k≦ｓ≦k-1
ε≦(k+s)ε≦(2k-1)ε
よって
δ=(2k-1)ε
とすれば
δはm,rに依存せず
F∋{n∈N::q-ε<#(kA∩[-n,n])/(2n+1)<q+ε}
={km+r::s+kq-(k+s)ε<#(kA∩[-n,n])/(2n+1)<s+kq+(k+s)ε}
⊂{km+r::s+kq-δ<#(kA∩[-n,n])/(2n+1)<s+kq+δ}
より
F∋{km+r::s+kq-δ<#(kA∩[-n,n])/(2n+1)<s+kq+δ}
となるね