{x}=x−[x]と定義して、

Σ(1≦k≦x^{1/2}){x/k}=(1/2)x^{1/2}+O(x^{1/3})

が示せた(計算ミスがなければ)。方針は>>389なんだけど、
L関数ではなく、普通にフェイェール核を使う。
あとはオイラー・マクローリン。