A=Z
のときは
∀ε>0
に対して
{x>0::1-ε<#(Z∩[-x,x])/2x}
={x::2x(1-ε)<#{Z∩[-x,x])}
={x::2x(1-ε)<2[x]+1}
={x::x(1-ε)<[x]+1/2}
ここで
x>1/2ε
とすると
x(1-ε)<x-1/2≦[x]+1/2
なので
{x>0::1-ε<#(Z∩[-x,x])/2x}⊃(1/2ε,∞)=c(0,1/2ε]
やっぱ>>635
が必要か
kF=F
から有界区間を含まないことが出ないかな・・・・ダメそう