Erdős problem 98
Let be such that any points in , with no three on a line and no four on a circle, determine at least distinct distances. Does ?
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/98.leanTrue ↔ Filter.Tendsto (fun n => ↑(Erdos98.h n) / ↑n) Filter.atTop Filter.atTopOpenStatement only, no proof