Status
On this page
Status
Topics
Status
On this page
Status
Topics
Let denote the least prime which does not divide . Is it true that there exists some such that, for all large ,
Source: erdosproblems.com/1181
No claim settles this problem.
Open. The only bound in hand is the trivial one, for all , Erdős's display (10) at , which the site derives by comparing the primorial of with the product: every prime below divides , so their product is at most it. The construction accepted on Problem 457 gives for every fixed and infinitely many . A sketch by Tao in that thread gives for infinitely many ; the site reports it as proved, but no accepted claim covers it, and the written version there, a claimed page, reaches only the form. Both are far below , and a heuristic recorded by Tao in the thread of Problem 457 suggests for all , which he regards as beyond current methods. No source improving the trivial bound was found in the search whose scope the Current assessment records; this is a bounded negative finding, not a certificate of openness.