Proof of the Lehmer conjecture on Ramanujan's $\tau$ function

Minjia Shi, Lu Wang, Patrick Solé

A criterion for Lehmer's conjecture in terms of the spherical designs held in the shells of the lattice $E_8$ was derived by de La Harpe, Pache and Venkov circa 2005. We check that…