Cycles of many lengths in Hamiltonian graphs

In 1999, Jacobson and Lehel conjectured that, for Formula Presented, every k-regular Hamiltonian graph has cycles of Formula Presented many different lengths. This was further strengthened by Verstraëte, who asked whether the regularity can be replaced with the weaker condition that the minimum degree is at least Formula Presented. Despite attention from various researchers, until now, the best partial result towards both of these conjectures was a Formula Presented lower bound on the number of cycle lengths. We resolve these conjectures asymptotically by showing that the number of cycle lengths is at least Formula Presented.