Skip to content

Erdős problem 755

Erdős asked whether every nn-point set in R6\mathbb{R}^6 spans at most (1/27+o(1))n3(1/27 + o(1)) n^3 unit equilateral triangles.

Sources

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

3 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

755.lean

Retained formal statement2 of 3
FormalConjectures/ErdosProblems/755.leanErdos755.erdos_755.test_dim_one1 lineExact file
Erdos755.unitEquilateralTriangleCount 1 ∅ = 0
TestStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page