Prove SharpLogRamsey (openai/math family 170: Sharp logarithmic exponents for off-diagonal Ramsey numbers)…
Prove SharpLogRamsey (openai/math family 170: Sharp logarithmic exponents for off-diagonal Ramsey numbers)…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 170 of the release, Sharp logarithmic exponents for off-diagonal Ramsey numbers…
The task
Context: this statement belongs to family 170 of the release, *Sharp logarithmic exponents for off-diagonal Ramsey numbers* (Combinatorics). The family as a whole: For every fixed integer $s\ge5$, proves $r(s,t)=t^{s-1}/(\log t)^{s-2+o(1)}$ as $t\to\infty$, determining the logarithmic exponent and matching the…
Part of raising-heart/openai-math.