Harmonic divisor sum

ID: harmonic-divisor-sum

Write and . The weighted Dirichlet hyperbola method gives
Indeed, use and . The latter follows by comparing each summand with the integral on its unit interval: the derivative of has an integrable tail. Since , substitution yields the expansion. Here is the harmonic number and the Euler--Mascheroni constant.

New to topics? Read the docs here!