Skip to content

Erdős problem 507

Start work

Let α(n)\alpha(n) be such that every set of nn points in the unit disk contains three points which determine a triangle of area at most α(n)\alpha(n). Estimate α(n)\alpha(n).

Sources

The source's own material, retained exactly.

7 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

507.lean

Retained formal statement1 of 7

Let α(n)\alpha(n) be such that every set of nn points in the unit disk contains three points which determine a triangle of area at most α(n)\alpha(n). Estimate α(n)\alpha(n).

FormalConjectures/ErdosProblems/507.leanErdos507.erdos_507.equivalent1 lineExact file
Asymptotics.IsEquivalent Filter.atTop Erdos507.α sorry
OpenStatement only, no proof