In their 2001 paper, Hofer, Wysocki and Zehnder conjectured that
every autonomous Hamiltonian flow has either two or infinitely many
simple periodic orbits on any compact star-shaped energy level; in
the same paper, the authors prove this assuming...