Erdős-Herzog-Piranian Distance Products: Improved Lower Bound
Prior state unknown→proved
An improved lower bound on the maximal product; the sharp maximizer for the 1958 question remains unknown.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review