Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claim. Write . For coprime integers with
is irrational, with an irrationality measure. This is the case , , of Theorem 2 of P. Bundschuh and K. Väänänen, Arithmetical investigations of a certain infinite product, Compositio Math. 91 (1994), no. 2, 175--199 (p. 177). The paper sets and, by logarithmic differentiation, , so , and the irrationality of is equivalent to the linear independence of and over (p. 177). Theorem 2 bounds from below by an explicit power of the height of when is small enough, and in the case it allows every . For in lowest terms , so , and the condition on is the condition on above. The proof (Section 3) works from linear forms with polynomial coefficients, whose size it controls under the same condition, and the paper reads its bounds as irrationality measures for (p. 178). The year of the volume is the only date the record gives, so this page is dated to its first day.
Covers. Every in lowest terms with of Problem 1049: every integer (), already settled by Erdős, and infinitely many non-integer rationals, for example , since . It does not cover , where .
Acceptance. Refereed: the paper is a journal publication in Compositio
Mathematica, volume 91, no. 2 (1994), received 6 October 1992, the refereed
evidence. The site's page does not cite it; the forum comment of 11 September
2026 (the discussion link) points to its Theorem 2 for this region. The site
labels the problem OPEN, so no reviewed evidence is listed.
Depends on. Nothing in this wiki.