{"schema":"vela.problem-packet.v0.1","problem":612,"statement":"Let $G$ be a connected graph with $n$ vertices, minimum degree $d$, and diameter $D$. Show if that $G$ contains no $K_{2r}$ and $(r-1)(3r+2)\\mid d$ then\\[D\\leq \\frac{2(r-1)(3r+2)}{2r^2-1}\\frac{n}{d}+O(1),\\]and if $G$ contains no $K_{2r+1}$ and $3r-1 \\mid d$ then\\[D\\leq \\frac{3r-1}{r}\\frac{n}{d}+O(1).\\]","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)"}