VOOZH about

URL: https://www.erdosproblems.com/270

⇱ Erdős Problem #270


👁 Logo
Forum Inbox Favourites Tags
More
Forum
Dual View Random Solved Random Open
DISPROVED This has been solved in the negative.
Let $f(n)\to \infty$ as $n\to \infty$. Is it true that\[\sum_{n\geq 1} \frac{1}{(n+1)\cdots (n+f(n))}\]is irrational?
#270: [ErGr80,p.66]
irrationality
Erdős and Graham write 'the answer is almost surely in the affirmative if $f(n)$ is assumed to be nondecreasing'. Even the case $f(n)=n$ is unknown, although Hansen [Ha75] has shown that\[\sum_n \frac{1}{\binom{2n}{n}}=\sum_n \frac{n!}{(n+1)\cdots (n+n)}=\frac{1}{3}+\frac{2\pi}{3^{5/2}}\]is transcendental.

Crmarić and Kovač [CrKo25] have shown that the answer to this question is no in a strong sense: for any $\alpha \in (0,\infty)$ there exists a function $f:\mathbb{N}\to\mathbb{N}$ such that $f(n)\to \infty$ as $n\to\infty$ and\[\sum_{n\geq 1} \frac{1}{(n+1)\cdots (n+f(n))}=\alpha.\]It is still possible that this sum is always irrational if $f$ is assumed to be non-decreasing; Crmarić and Kovač show that the set of the possible values of such a sum has Lebesgue measure zero.

View the LaTeX source

This page was last edited 28 September 2025. View history

External data from the database - you can help update this
Formalised statement? No (Create a formalisation here)
Related OEIS sequences: A073016
1 comment on this problem
Likes this problem Vjeko_Kovac
Interested in collaborating None
Currently working on this problem None
This problem looks difficult None
This problem looks tractable None
The results on this problem could be formalisable None
I am working on formalising the results on this problem None

When referring to this problem, please use the original sources of Erdős. If you wish to acknowledge this website, the recommended citation format is:

T. F. Bloom, Erdős Problem #270, https://www.erdosproblems.com/270, accessed 2026-04-11
Previous
Next