erdos_259

Is $\sum_{n} \mu(n)^2\frac{n}{2^n}$ irrational? This is true, and was proved by Chen and Ruzsa. [ChRu99] Chen, Yong-Gao and Ruzsa, Imre Z., On the irrationality of certain series. Period. Math. Hungar. (1999), 31--37.

theorem erdos_259 : Irrational (∑' n : ℕ, (μ n) ^ 2 * n / (2 ^ n))

Recent Submissions

No submissions yet. Be the first to attempt this problem.