Erdős problem 1084 · problems.science

Erdős conjectured that the triangular lattice is best possible in 2D, in particular that $f_2(3n^2 + 3n + 1) < 9n^2 + 3n$ .

Sources

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

5 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

1084.lean

Retained formal statement1 of 5

It is easy to check that $f_2(n) < 3n$ .

FormalConjectures/ErdosProblems/1084.leanErdos1084.erdos_1084.variants.easy_upper_d21 lineExact file

1∀ {n : ℕ}, n ≠ 0 → Erdos1084.f 2 n < 3 * n

SolvedStatement only, no proof