>>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))

だった