Does every runner on a circular track, moving at its own constant and distinct speed, really become lonely at some moment, for every number of runners n?

The conjecture is proved individually for up to 13 runners, most recently n = 10 through 13 in 2025 and 2026, and Tao proved an improved general asymptotic bound in 2018, but no argument covers every n at once.