Claims

../

1964_12_01_clunie_hayman: Clunie and Hayman prove that the maximum-term constant B lies strictly above 4/7 and at most 2/pi minus an absolute positive constant; refereed in J. Analyse Math., the best refereed bounds on B.

2026_02_12_he_tang: He and Tang's arXiv paper generalizes the Clunie-Hayman construction to a two-parameter family and certifies by ball arithmetic that one member gives B > 0.58507; credited by the site's commentary, unrefereed.

2026_02_27_sothanaphan: Sothanaphan's note, produced with GPT-5.2 Thinking, certifies by interval arithmetic that a new parameter choice in He and Tang's family gives B >= 0.585078819653; credited by the site's commentary, unreviewed.

2026_08_02_lystad: A Zenodo record with declared AI assistance certifying B >= 0.5850788196 from an explicit function of the He-Tang family by interval arithmetic, and re-verifying the stronger bound 0.585078819653; unreviewed.

---