Approximation to $\pi(x)$ conjecture.

191 Views Asked by At

A friend conjectured that $\left[\prod_{k=1}^{a_j <\sqrt{x}} \left(1-\frac{1}{a_k}\right)\right] x$ is usually closer to $\pi(x)$ than $\operatorname{Li}(x)$ is for some (fixed) sequence of integers $a_k$.

Could this be true ?