Prime Numbers – Effective Version of Mertens Theorem for the Euler Product

analytic-number-theoryprime numbers

I'm referring to the theorem given here, which is

$$\displaystyle\lim_{n\to \infty} \:\: \left(\frac1{\ln(n)} \cdot \left(\displaystyle\prod_{p\leq n} \frac1{1-\frac1p}\right)\right) \;\;\; = \;\;\; \exp(\hspace{.01 in}\gamma)$$

where $p$ ranges over the primes and $\gamma$ is the Euler-Mascheroni constant.

What I'm really interested in is a good (effective) lower bound for $\;\; \displaystyle\prod_{p\leq n} \: \left(1-\frac1p \right) \;\;$,

so if you have another way to get such a bound, that would work too.

Otherwise, is it explicitly known how large and $n$ is sufficiently large to get $$\frac1{\ln(n)} \cdot \left(\displaystyle\prod_{p\leq n} \frac1{1-\frac1p}\right) \; < \; c$$

where, for example, $\: c=2 \:$ or $\: c = \frac95 \;$?

Best Answer

See Theorem 6.12 in Pierre Dusart's Estimates of some functions over primes without RH. In particular for all $x \ge 2973$ one has the effective unconditional lower bound: $$\prod_{p\le x}\left(1 - \frac1p\right) > \frac{e^{-\gamma}}{\ln x}\left(1 - \frac{0.2}{\ln^2 x}\right).$$

So, already for $x$ in this range it is true that one can take $c = 1.78666$, which is much smaller than $c=\tfrac95$. A small amount of computation would be all it takes to get the smallest $x$ that works.

Update: it looks like $c=2$ is true for $n\ge 14$, while $c=\tfrac95$ holds for $n \ge 469$.

Related Question