Halász theorem Created 2026-09-24 Updated 2026-11-05
For an arithmetic function that is multiplicative and satisfies , defineOne form of Halász theorem gives, for ,Thus a large mean requires small pretentious distance from some Archimedean character. The parameter range matters: minimizes over a bounded interval of real numbers , and the final term accounts for that cutoff.[ref]
Pretentious Multiplicative Functions and an Inequality for the Zeta-Function by Andrew Granville and Kannan Soundararajan. p. 206: the Montgomery–Tenenbaum form of Halász's mean-value estimate
Pretentious distance Created 2026-09-24 Updated 2026-11-05
For multiplicative functions bounded in modulus by one, their pretentious distance up to isIt compares their values on prime numbers, weighting smaller primes more heavily. It need not be a metric: values away from primes are invisible, and can be positive when . For unit-modulus prime values it has the precise prime-restriction metric for pretentious distance interpretation.[ref]
Pretentious Multiplicative Functions and an Inequality for the Zeta-Function by Andrew Granville and Kannan Soundararajan. pp. 206–208: the prime-weighted comparison and its mean-value interpretation