At most nine lines in Euclidean three-space have pairwise distance one

Roland Höfer

J.E. Littlewood posed the question of how many infinite circular cylinders of unit radius can be arranged so that each touches all the others. We give a computer-free proof that on…