Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated


Claim. Theorem 1.3 of Kyle Pratt, The irrationality of an infinite series involving ω(n)\omega(n) under a prime tuples conjecture, J. Number Theory 276 (2025), 57--71 (arXiv:2409.15185, posted 2024-09-23 under the title The irrationality of a prime factor series under a prime tuples conjecture), states that under the paper's Conjecture 1.2 the number ∑n≥1ω(n)/tn\sum_{n\ge1}\omega(n)/t^n is irrational for every integer t≥2t\ge2. The case t=2t=2 is Problem 69. The claim is conditional: Conjecture 1.2 is a quantitative prime KK-tuples conjecture with uniformity, asserting that for admissible linear forms Lk(n)=akn+bkL_k(n)=a_kn+b_k with coefficients at most (log⁡log⁡x)100(\log\log x)^{100} and K≤100log⁡log⁡log⁡xK\le100\log\log\log x, the number of n≤xn\le x with every Lk(n)L_k(n) prime is (1+o(1)) S(L) x/(log⁡x)K(1+o(1))\,\mathfrak S(L)\,x/(\log x)^K. That conjecture is unproven, so this page derives nothing for the problem's standing; the unconditional proof is Tao and Teräväinen. The argument assumes the sum is a/ba/b, so that btNbt^N times the tail after NN is an integer; the prime-tuples input (Proposition 2.1) supplies N=n0QN=n_0Q with n0Q/k+1n_0Q/k+1 prime for k≤Kk\le K, which makes that integer equal a+b/(t−1)a+b/(t-1) plus a small nonzero quantity, a contradiction (arXiv v1, p. 3); the source card pratt_2024_irrationality_prime_factor_series_under_prime digests the arXiv version; the journal version is not held. This outline is a reading aid, not proof coverage.

Acceptance. The refereed evidence is the journal publication cited above (Journal of Number Theory, volume 276, print date November 2025, as Crossref records it). The site's remarks record the result as conditional on a uniform version of the prime tuples conjecture, while the site's label PROVED credits the unconditional proof of Tao and Teräväinen, so the curator's remark is context, not acceptance of this claim. The corpus holds no compiled or reviewed proof.

Depends on. No page of this wiki.