Vaughan identity proof

ID: vaughan-identity-proof

For Dirichlet convolution, let and . Prime factorization gives and . With subscripts denoting truncation at ,
Rearranging proves the Vaughan identity.

New to topics? Read the docs here!