Erdős problem 507
Let be such that every set of points in the unit disk contains three points which determine a triangle of area at most . Estimate .
Sources
FormalConjectures/ErdosProblems/
507.lean
Retained formal statement
Current best lower bound [KPS82].
Erdos507.lowerBest =O[Filter.atTop] Erdos507.αSolvedStatement only, no proof