Erdős Problem 160: Better Upper
Estimate by finding a better upper bound.
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.1194 of 1194 statement records
17 source collections · 43 mathematical fields
Estimate by finding a better upper bound.
Noll and Simmons asked, more generally, whether there are solutions to for arbitrarily large (with ).
Estimate by finding a better lower bound.
Is it true that ?
This is discussed in problem A13 of Guy's collection [Gu04].
Is the limit as irrational?
Pomerance [Po89] gave a heuristic suggesting that this is the true order of growth, and in fact .
The problem is to determine the limit of the sequence as .
Are there infinitely many primes such that is composite for each such that ?
Is it true that in any finite colouring of there exist arbitrarily large finite such that all sums and products of distinct elements in are the same colour?
The conjecture is about the function which counts the number of solutions to , where is the sum of divisors of . The first bound is that grows slower than any power of . The second bound is that is at most a power of .
Any graph on vertices can be decomposed into many edge-disjoint cycles and edges.
Part (ii) of Erdős Problem 1060: bound on the number of with .
In [Er71] Erdős suggests that only many cycles and edges are required if we do not require them to be edge-disjoint.
How many (ordered) solutions are there to σ(a) + σ(b) = σ(a + b) with a + b ≤ x?
Is it true that this number is asymptotic to c * x for some constant c > 0?
What is the smallest such that can be red/blue coloured with no pair of red points unit distance apart, and no -term arithmetic progression of blue points with distance 1?
Erdős asked whether the limiting density f n / n exists and, if so, whether it is
irrational.
Seems to be open, as of January 2025.
Estimate by finding a better upper bound.
Let be a finite set and let be an infinite -walk, so that for all . Must contain three collinear points?
Are there infinitely many primes such that for some prime and ?
This is mentioned as B46 in Unsolved Problems in Number Theory by Richard K. Guy