{"schema":"vela.problem-packet.v0.1","problem":552,"statement":"Determine the Ramsey number\\[R(C_4,S_n),\\]where $S_n=K_{1,n}$ is the star on $n+1$ vertices.In particular, is it true that, for any $c>0$, there are infinitely many $n$ such that\\[R(C_4,S_n)\\leq n+\\sqrt{n}-c?\\]","status":"open","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A006672","name":"a(n) = smallest m such that for every red-blue edge-coloring of the graph K_{m} there exists either a red 4-cycle or a blue K_{1,n}; Ramsey number r(C_4, K_{1,n}).","terms":"4,4,6,7,8,9,11,12,13,14","url":"https://oeis.org/A006672"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}