Skip to content

Erdős problem 507

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

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

7 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

507.lean

Retained formal statement7 of 7

It is trivial that α(n)1/n\alpha(n) \ll 1/n.

FormalConjectures/ErdosProblems/507.leanErdos507.erdos_507.variants.upper_trivial1 lineExact file
Erdos507.α =O[Filter.atTop] fun n => 1 / ↑n
SolvedStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page