Counterexample to Erdős Problem 96
OpenErdos9796Mission.problem96_counterexampleconvex-positiondiscrete-geometryerdos-96unit-distances
The convex unit-distance extremal function is not O(n).
Preamble
import Definitions.Def_Erdos9796Mission
Formal statement
theorem Erdos9796Mission.problem96_counterexample :
¬ Erdos9796Mission.Problem96 := by sorrySource