Can the result for $\prod_{p\ge 3}\left(1-\frac 2p\right)$ be extended for general $\prod_{p\ge n+1}\left(1-\frac np\right)$?

118 Views Asked by At

In the excellent answer at https://math.stackexchange.com/a/22435/86846, the identity $\log\left(1-\frac{2}{p}+\frac{1}{p^2}\right) +\log\left(1- \frac{1}{(p-1)^2} \right)=\log\left(1- \frac{2}{p} \right)$ was put forward as a starting point. I thought I would try a similar thing for estimating $\prod_{3\lt p\le x}\left(1-\frac 3p\right)$ and thus use some identity which might be along the lines of

$$\log\left(1-\frac 3p\right)=\log\left(1-\frac 1p\right)+\log\left(1-\frac 2p\right)+\log\left(1-\frac 2{p-1}-\frac 2{p-2}\right)$$

but as I work with these quantities I realize that no identity will completely remove the factor $p-3$ from the results entirely. In my search results I keep finding the same "Euler Product" and "Mertens' Theorem" pages on Wikipedia and Mathworld, but none of those pages has a $p-3$ factor listed that I have noticed, nor any suggestion as to how to approach the broader question.

I am not especially worried about the accuracy of the error term, as long as the error is not asymptotically as big as the rest of the result.

Are there known results that my primitive searches haven't found yet? Are there any reference materials I could look at that might help me work out some of these bounds myself, or perhaps some simple observation that has a relatively large error term but simplifies the approach in general?

1

There are 1 best solutions below

6
On BEST ANSWER

Is your goal to estimate $\prod_{p \le x} (1-\frac{n}{p})$ as $x \to \infty$ ? It follows from the PNT error term for the Mertens 2nd theorem that $$-\log \prod_{p \le x} (1-\frac{n}{p}) = n \log \log x + n M +o(\frac{n}{\log^r x})+ A_n$$ Where $M $ is the Mertens constant and $A_n = \sum_p (-\log (1-\frac{n}{p})-\frac{n}{p})$

(I used that the series for $A_n$ converges in $\mathcal{O}(n/x)$ and $\sum_{p \le x} \frac{1}{p} = \log \log x + M + o(1/\log^r x)$ which is the PNT in one of its well-known forms)