{"schema":"vela.problem-packet.v0.1","problem":126,"statement":"Let $f(n)$ be maximal such that if $A\\subseteq\\mathbb{N}$ has $\\lvert A\\rvert=n$ then $\\prod_{a\\neq b\\in A}(a+b)$ has at least $f(n)$ distinct prime factors. Is it true that $f(n)/\\log n\\to\\infty$?","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)"}