Lemma (Dirichlet hyperbola method). Assuming that:

  • f,g:

  • xy1

Then
nx(fg)(n)=dyf(d)mxdg(m)+mxyg(m)y<dxmf(d).