Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Source. Hough, Lemma 5, printed p. 375 of the published paper. Use the notation in the sieve setup.
Statement. Let be an integer, , and for . Then
Complete proof. If , the weighted sum vanishes identically and both sides are zero. Otherwise put . The convexity of on gives
Average over the probability measure and apply Lemma 4 to every . The result is . For a nonnegative random variable , the pointwise inequality implies by summation. Apply this with to obtain the claim.
Scope. The source excludes the all-zero weight family. Its trivial extension above includes primes not dividing , whose weights in the next application are all zero.
Bears on. Problem 2.