Erdős problem 507 · problems.science

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

Sources

Browse retained paths and inspect the exact material available for this Problem.

7 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

507.lean

Retained formal statement1 of 7

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

FormalConjectures/ErdosProblems/507.leanErdos507.erdos_507.equivalent1 lineExact file

1Asymptotics.IsEquivalent Filter.atTop Erdos507.α sorry

OpenStatement only, no proof

Sources

Search problems.science