Bilinear sum (source code)

= Bilinear sum

A bilinear sum has the form $\sum_{m,n}a_mb_nK(m,n)$, with two independently controlled coefficient sequences. Cauchy-Schwarz, completion, and large-sieve estimates exploit this separation of variables.