The Jackson-Richmond 4CT Constant is EXACTLY 10/27

By Shalosh B. Ekhad and Doron Zeilberger

.pdf    .tex   

Written: Feb. 7, 2024

In their recent claimed computer-free proof of the Four Color Theorem, David Jackson and Bruce Richmond attempted to use sophisticated "asymptotic analysis" to explicitly compute a certain number whose positivity (according to them) implies this famous theorem. While the jury is still out whether their valiant attempt holds water, we prove, in this modest note, that this constant equals exactly 10/27. We also point out that their evaluation of this constant must be erroneous, for two good reasons. Finally, as an encore, we state many similar, but more complicated, results.

Maple package

Sample input an output for Jackmond.txt

Personal Journal of Shalosh B. Ekhad and Doron Zeilberger