On the constant in the Mertens product for arithmetic progressions. I: Identities (Q964224)

Let \(a,q\) be relatively prime integers. We have that \[ \prod_{\substack{ p\leq x\\ p\equiv a \bmod q}}\left(1-\frac{1}{p}\right)=\frac{C(q,a)}{(\log x)^{\frac{1}{\varphi(q)}}} +O\left(\frac{1}{(\log x)^{\frac{1}{\varphi(q)}+1}}\right) \] as \(x\to\infty\), where \(C(q,a)>0\) and \(\varphi\) is Euler's function. The authors prove several formulas for \(C(q,a)\).