A uniform negligible tail for large divisor-window counts

noncomputable def NairTenenbaum.polynomialDivisorLargeSum (Q : Polynomial ℤ) (η x y : ℝ) : ℝ

The part of the divisor-window sum above the Hooley truncation threshold.

Equations

• One or more equations did not get rendered due to their size.