If and with , the displayed estimate holds. Twice applying Weyl differencing bounds by . Group by and use the subpower bound for the divisor function. The reciprocal fractional-part sum near a rational bounds the resulting sum by . Take fourth roots, absorbing logarithms into when ; for larger the trivial bound suffices. Leiden lecture notes, Section 7.2 develop this cubic differencing estimate.
Articles by others on the same topic
There are currently no matching articles.