0390132人目の素数さん垢版 | 大砲2018/11/24(土) 13:09:45.85ID:HscCLQgZ {x}=x−[x]と定義して、 Σ(1≦k≦x^{1/2}){x/k}=(1/2)x^{1/2}+O(x^{1/3}) が示せた(計算ミスがなければ)。方針は>>389なんだけど、 L関数ではなく、普通にフェイェール核を使う。 あとはオイラー・マクローリン。