Cubic Weyl inequality
ID: cubic-weyl-inequality
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.
New to topics? Read the docs here!