Claims

../

2022_02_04_lichtman: Proves that the sum of one over a log a over any primitive set is at most its value over the primes, 1.6366..., settling the Erdős primitive set conjecture; published in Forum of Mathematics, Pi in 2023.

2026_05_01_alexeev_barreto_li_lichtman_price_shah_tang_tao: A second proof that the primes maximize the sum of one over a log a over primitive sets, by a Markov chain on the divisibility order with von Mangoldt weights, with a Lean formalization of a variant by the first author.

---