Claims

../

2026_06_23_li: Li's full proof claim (arXiv, June 2026; the site's proof-claim tab, July 2026) that the proportion of integers up to x with the divisor condition is exp(-(c+o(1)) sqrt(log x) log log x), c = 1/(2 sqrt(log 2)); unreviewed.

---