Weighted arithmetic-progression error bound

ID: weighted-arithmetic-progression-error-bound

Let . For , the Brun–Titchmarsh theorem and Cauchy-Schwarz inequality give
Write each summand as , then use .

New to topics? Read the docs here!