Erdős Problem 390
Does there exists a constant c such that f n - 2 * n ~ c * (n / log n)?
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.Does there exists a constant c such that f n - 2 * n ~ c * (n / log n)?
Is it true that for some ?
Is it true that, for ,
Erdős and Hall conjecture that the sum is for any .
They ask about the behaviour of and also ask whether, for infinitely many , for all .
Is it true that for every there exists such that
Brocard's Problem* Does have integer solutions other than ?
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).