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