[math-fun] Packing a 2-by-n rectangle with disks