Erdős Problem 20
Is it true that for some constant and for all ?
Questions, not proof records
Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.
sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.Is it true that for some constant and for all ?
Erdős, Hardy, and Subbarao [HaSu02], believed that the number of for which is .
[HaSu02] Hardy, G. E. and Subbarao, M. V., A modified problem of Pillai and some related questions. Amer. Math. Monthly (2002), 554--559.
Does the longest arithmetic progression of primes in have length ?
Is it true that ?
Is there an integer with such that none of are prime, for any ?
Let be the set of all such that there exists a prime such that . Does
exist?
Can every triangle-free graph on vertices be made bipartite by deleting at most edges?
Let be the set of all such that there exists a prime such that . What is
Let count the number of solutions to for prime and . Show that .
Similarly, if is the set of all primes such that there exists an with such that , then does
exist?
Is it true that ?
Originally asked to Erdős by Bose.
This is discussed in problem C11 of Guy's collection [Gu04].
Similarly, if is the set of all primes such that there exists an with such that , then what is
More generally, Bose and Chowla [BoCh62] conjectured that the maximum size of with all -fold sums distinct (aside from the trivial coincidences) then
Regarding the first question, Hardy and Subbarao computed all EHS numbers up to , and write "...if this trend conditions we expect [the limit] to be around 0.5, if it exists."
Let . What is the largest such that there are with a non-empty arithmetic progression for all ?
For all the least prime factor of is , with only finitely many exceptions.
Szabo asks whether the maximal is given by
Ecklund, Erdős, and Selfridge [EES74] conjectured .
Is there a covering system all of whose moduli are of the form for some primes ?
Erdős, Lacampagne, and Selfridge [ELS93] write 'it is clear to every right-thinking person' that for some constant .