Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Statement
Question (p. 2, unnumbered). Let be integers with . The paper asks whether
is irrational. It records three further points.
- It cannot prove irrationality even under the stronger assumption .
- It has no counterexample under the weaker assumption : no series of this form with rational sum and is known to it.
- It guesses that such a series, rational with , exists.
Other questions on the same page (p. 2). The paper also asks whether for every integer there is a finite sequence of integers with . It then recalls the theorem of Erdős and Straus (its reference [2]) that is irrational, where counts divisors, and tend to infinity; it calls it very likely that without monotonicity suffices, and calls it frustrating that it cannot prove irrational.
Source. P. Erdős, Some problems and results on the irrationality of the sum of infinite series, J. Math. Sci. 10 (1975), 1--7, p. 2. The edition read is identified on the source card.
Read depth. Claims checked: the question and the remarks around it were read clause by clause on the printed page. The paper proves nothing about them.
Proof pointer
None: the paper poses the questions and proves nothing about them.
Dependencies
None in the paper.
Bears on
- Problem 260: the problem asks the same question for increasing sequences with . That hypothesis implies , so a yes to this question would answer Problem 260 yes; the paper answers neither. The case that the paper could not prove is the case of Erdős's 1981 theorem.
- Problem 247: the problem asks about under the same growth hypothesis , a different series; this question does not address it.
- Problem 68: the paper states on this page that it cannot prove irrational, the problem's question; it gives no result on it.