open
Lonely Runner Conjecture (Diophantine form)
For every integer k ≥ 1 and every tuple of positive integers (v_1, …, v_k), there exists a real number t such that min_{1 ≤ i ≤ k} ||t v_i|| ≥ 1/(k+1), where ||x|| denotes the distance from x to the nearest integer.…