[math-fun] Loose packing problem