$\prod_{n=1}^{\infty} n^{\mu(n)}=\frac{1}{4 \pi ^2}$

We have $$\frac{1}{\zeta(s)} = \sum_{n=1}^{\infty} \frac{\mu(n)}{n^s} \quad \mbox{for} \ Re(s)>1.$$ Taking the derivative with respect to $s$, we get the following $$- \frac{\zeta'(s)}{\zeta(s)^2} = - \sum_{n=1}^{\infty} (\log n) \frac{\mu(n)}{n^s} \quad \mbox{for} \ Re(s)>1.$$

If we plug in $s=0$ to the second equation (which is not allowed, because the second equation is only valid for $Re(s)>1$) we get $$ - \frac{\zeta'(0)}{\zeta(0)^2} = - \sum_{n=1}^{\infty} \mu(n) \log(n) \quad \mbox{(FALSE EQUATION)}.$$

We have $$\zeta(0) = - \frac{1}{2} \quad \zeta'(0) = - \frac{1}{2} \log(2 \pi)$$ so $$ - \frac{\zeta'(0)}{\zeta(0)^2} = 2 \log(2 \pi)$$

So, if we believed the false equation, we would have $$\sum_{n=1}^{\infty} \mu(n) \log(n) = -2 \log (2 \pi) \ \mbox{and} \ \prod_{n=1}^{\infty} n^{\mu(n)} = \frac{1}{4 \pi^2}.$$

I don't know why Mathematica thinks it's okay to plug in $s=0$.


So of course it does not converge. The behavior is interesting however. Below is the graph of the $\ln$ of the product going up to $5000.$ enter image description hereThere can be runs very rich in square free integers with an even number of divisors which cause a dramatic shift. At $509$ the product is about $5\times 10^{-13}.$ Of the next $45$ square free integers ,$15$ provide a factor around $\frac{1}{500}$ and the other $30$ provide a factor around $500$ so the product at $586$ is around $1.7 \times 10^{23}.$ Of course there are bigger swings in both directions later on. This argues against any simple convergence acceleration used as smoothing.

Rearranging can do anything but a reasonable procedure might be to look at the $2^k$ square free integers divisible only by (some) of the first $k$ primes. The product over those comes out to be $1$ for $p_k \ge 3.$ So this could be taken as suggesting some balance. The partial product $\prod_{n=1}^N n^{\mu(n)}$ never has an even denominator for $5 \lt N \le 10000$ . However the numerator is just four times an odd number for $N=6590$ and $N=6593.$ So, if forced to guess, I'd guess that it is odd someplace(s) past $10000.$ Something similar seems to be happening with larger small primes.



This is a discussion following from David Speyer about Cesaro summability of the series. This series is not Cesaro summable in any order.

In "The General Theory of Dirichlet Series" by Hardy and Riesz. Chapter 4.

Let $\kappa\geq 0$. $0\leq \lambda _0<\lambda_1<\cdots<\lambda_n\rightarrow\infty$, and write $$ A_{\lambda}^{\kappa}(w) = \sum_{\lambda_n \textrm{<}w}(w-\lambda_n)^{\kappa}a_n. $$

\bf Summability $(\lambda,\kappa)$. \rm If $A_{\lambda}^{\kappa}(w)\sim Aw^{\kappa}$ as $w\rightarrow\infty$, then we say that $\sum a_n$ is summable $(\lambda,\kappa)$ to sum $A$.

The second consistency theorem(we do not need first consistency theorem here) states that If $\sum a_n$ is summable $(l,\kappa)$ where $l_n=e^{\lambda_n}$, then it is summable $(\lambda,\kappa)$ to the same sum. In particular, Cesaro summability of order $\kappa$ implies $(\log n, \kappa)$ summability to the same sum.

We consider the formula $$ \sum_{n=1}^{\infty}a_ne^{-\lambda_ns}=\frac{1}{\Gamma(\kappa+1)}\int_0^{\infty}s^{\kappa+1}e^{-s\tau}A_{\lambda}^{\kappa}(\tau)d\tau.$$

This is originally valid if $\sigma> max(0,\sigma_c)$ where $\sigma_c$ is the abscissa of convergence of the left series. On the other hand, the right allows an analytic continuation of the function represented by the series on the left up to $\sigma>0$.

What we use here is $a_n = \mu (n)\log n$ and $\lambda_n = \log n$ .

Hence, assuming Cesaro summability of any order $\kappa$, will allow $$-\frac{\zeta'(s)}{\zeta^2(s)}$$ to have an analytic continuation to $\sigma>0$ which contradicts the fact that $\zeta(s)$ has zeros on the critical line.