[math-fun] Maximal packings of the integers