Lower-half quadratic-residue sum for primes congruent to seven modulo eight

ID: lower-half-quadratic-residue-sum-for-primes-congruent-to-seven-modulo-eight

If , the sum of the least positive quadratic residues below is
The proof uses to compare the sum of all residues with its image under doubling.

New to topics? Read the docs here!