Claims

../

2026_09_29_hartley_olson: Hartley and Olson claim the order of growth of every D_k for k from 3 to 6: D_3(X) of order sqrt X and D_4, D_5, D_6 of order X, so D_6 has positive lower density, the Erdős–Graham conjecture; with a Lean development.

2026_10_01_yudin: Yudin claims the asymptotic D_3(X) = kappa_3 sqrt X + O(X^(2/5+eps)) and the bounds D_5(X), D_6(X) of order X, which with the classical D_4(X) of order X determine the order of growth of every D_k; the Erdős–Graham conjecture.

---