Type I sum
= Type I sum
A Type I sum in <analytic number theory> has the form $\sum_{d\leq U}a_d\sum_{m\in I_d}f(dm)$, with a short weighted variable and a relatively long inner sum whose coefficients are simple. The <Vaughan identity> produces these sums when the <Möbius function> is truncated.