Skip to content

Erdős problem 98

Let h(n)h(n) be such that any nn points in R2\mathbb{R}^2, with no three on a line and no four on a circle, determine at least h(n)h(n) distinct distances. Does h(n)/nh(n)/n\to \infty?

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/98.lean

Formal Conjectures

FormalConjectures/ErdosProblems/98.leanErdos98.erdos_981 lineExact file
TrueFilter.Tendsto (fun n => ↑(Erdos98.h n) / ↑n) Filter.atTop Filter.atTop
OpenStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page