---

Claim. Theorem 2.1 of J. Spencer, Asymptotic lower bounds for Ramsey functions, Discrete Math. 20 (1977), 69--76 (p. 72): "$R(3,t)\ge (c-o(1))(t/\ln t)^2$, $c=1/27$." The theorem is paged at Theorem 2.1. In the letters of Problem 986 it gives $R(3,k)\gg k^2/(\log k)^2$, the statement at $s=3$ with $c(3)=2$. The paper adds that the result "is originally due to Erdős [2] (without explicit calculation of the constant) using a very different method"; the constant $1/27$ and the proof by the local lemma are Spencer's.

Covers. The case $s=3$ of the statement only.

Depends on. Theorem 2.1 of Spencer 1977, the result page of the cited paper.

Dating. The paper appeared in volume 20, number 1, of 1977; the Crossref record gives only the year, so the month and day in the page name are placeholders.

Acceptance. Refereed: Discrete Mathematics 20 (1977), no. 1, 69--76. The site's commentary credits Spencer with the case $s=3$, but its PROVED label settles the problem through Bradač's claim, so the curator's credit is not listed as review of this one.