{"schema":"vela.problem-packet.v0.1","problem":127,"statement":"Let $f(m)$ be maximal such that every graph with $m$ edges must contain a bipartite graph with\\[\\geq \\frac{m}{2}+\\frac{\\sqrt{8m+1}-1}{8}+f(m)\\]edges. Is there an infinite sequence of $m_i$ such that $f(m_i)\\to \\infty$?","status":"solved","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)"}