[math-fun] Least dense packings