>>807
sよりも
F∋{km+r::kq-δ<#(A∩[-ｍ,m])/(2m+1)<kq+δ}
まで来たとして
F∋{m::kq-δ<#(A∩[-ｍ,m])/(2m+1)<kq+δ}
には反線形性
p(A)=kp(kA)
では何か不足なような気がする