The lonely runner conjecture
Research level
runners start together on a circular track of length 1 and run forever, each at its own constant speed, with all speeds different. Prove that for each runner there is a moment when every other runner is at distance at least along the track. The speeds show that …