Skip to content

Problem

erdos:183

Let R(3;k)R(3;k) be the least nn such that every kk-colouring of the edges of KnK_n contains a monochromatic triangle. Determine limkR(3;k)1/k\lim_{k\to\infty} R(3;k)^{1/k} (a $250 Erdős prize problem). A superexponential lower bound resolves the problem: the limit is infinite.

Declared status
open (Lean)
Formalization
formalized
Prize
$250
OEIS
A003323

Matching claims

0
No direct claims
This problem has no directly related claim record.

Search problems.science

Find a Problem, Result, source, or page