Suppose , , , , and with . A dyadic decomposition reduces to blocks . The Cauchy-Schwarz inequality, divisor-square summatory bound and the reciprocal fractional-part sum near a rational give
The condition makes the allowed values for each pair an interval, so the exponential geometric sum bound applies despite the hyperbolic cutoff. Since and , take square roots and sum the blocks to get the displayed estimate.

Articles by others on the same topic (0)

There are currently no matching articles.