@BlancheMinerva
@PhDPersuasion @3blue1brown Iām getting Ļ_1 = 4, so maybe Iām using a different definition of things than the OP, but you can do this entirely in the native L^p geometry by defining a circle of radius r as the set of points an L^p distance of r from the origin,