Re: [math-fun] Worst packing among all planar convex sets