{"schema":"vela.problem-packet.v0.1","problem":627,"statement":"Let $\\omega(G)$ denote the clique number of $G$ and $\\chi(G)$ the chromatic number. If $f(n)$ is the maximum value of $\\chi(G)/\\omega(G)$, as $G$ ranges over all graphs on $n$ vertices, then does\\[\\lim_{n\\to\\infty}\\frac{f(n)}{n/(\\log_2n)^2}\\]exist?","status":"open","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}