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$ .

No current result

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

FormalConjectures/ErdosProblems/1084.lean

Formal Conjectures

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

Work these sources record against this Problem. Source-reported attribution, not reviewed here.