Erdős Problem 40
For what functions is it true that implies ?
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.For what functions is it true that implies ?
Can one show that for some constant ?
Is it true that there is a constant such that for almost all we have ?
Is it true that there are only finitely many powers of which have only the digits and when written in base ?
If we only allow the digits and then seems to be the largest such power of .
How many iterations of are needed before a prime is reached?
Let be the minimum number of iterations of before a prime is reached. What is ?
Let be the minimum number of iterations of before a prime is reached. Find the simplest function such that ?
Let be the minimum number of iterations of before a prime is reached. Find the simplest function such that ?
Can infinitely many reach the same prime under the iteration ?
What is the density of which reach any fixed prime under the iteration ?
How many iterations of are needed before a prime is reached?
If then the iteration necessarily reaches a prime. Note: this is open , it is not clear that the σ iteration always terminates, since it is non-decreasing (unlike the φ iteration which is strictly decreasing).
Let be the minimum number of iterations of before a prime is reached. What is ?
Let be the minimum number of iterations of before a prime is reached. Find the simplest function such that ?
Let be the minimum number of iterations of before a prime is reached. Find the simplest function such that ?
Is it true that iterates of always reach a prime?
Let A ⊆ ℕ be an infinite set such that the triple sums a + b + c are all distinct for
a, b, c in A (aside from the trivial coincidences). Is it true that
liminf n → ∞ |A ∩ {1, …, N}| / N^(1/3) = 0?
Let , the sum of divisors function, and .
Is it true that ?
This is problem (iii) from Erdos, Granville, Pomerance, Spiro "On the normal behavior of the iterates of some arithmetical functions" (page 169 of the book "Analytic Number Theory", 1990).
Let , the sum of divisors function, and . Is it true that, for every , there exist some such that ?