Large Fourier coefficient criterion for pretentiousness
ID: large-fourier-coefficient-criterion-for-pretentiousness
Let , and let be a normalized multiplicative arithmetic function supported on squarefree integers, with . Form the finite measure using Dirac measures. Under the transform convention , its Euler product is . Expanding its logarithmic modulus, and replacing the damped prime weights by up to with Mertens first theorem, gives the displayed absolute bound, uniformly in real . Hence forces . The distance expression still defines a nonnegative pretentious score for prime values bounded by one; its actual metric interpretation uses unit-modulus values.
New to topics? Read the docs here!