Logarithmic coefficient bound in Vaughan identity

ID: logarithmic-coefficient-bound-in-vaughan-identity

The Von Mangoldt function is nonnegative and satisfies . Therefore the middle short-divisor coefficient in the Vaughan identity has the displayed pointwise bound. Grouping its long-divisor term as , with , gives . This grouping permits bounded-coefficient Type II sums after division by .

New to topics? Read the docs here!