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).

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/507.lean

Formal Conjectures

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

Reported activity

Reported by these sources. Not reviewed here.

Continue

Start a contributionBrowse the source filesOpen the collection entry