- 979 名前：１３２人目の素数さん mailto:sage [2020/09/07(月) 01:58:33 ID:X63VHU9J.net]
- >>930
あ、ダメだ
間違ってる
予想としてはワイルの一様分布定理の素数版
αを無理数、0<a<b<1とするとき
lim #{ p ≦ x | p/α - [p/α] ∈ (a,b)}/(x/log(x)) = b-a
が成立しそうな気はするんだけど
それには
Σ[p≦x] exp(2πi/α p)/p = o(x/log(x))
が示せれば十分
自分が示せたと思ったのは
Σ[p≦x] exp(2πi/α log(p))/p = o(x/log(x))
だった
