{"schema":"vela.problem-packet.v0.1","problem":975,"statement":"Let $f\\in \\mathbb{Z}[x]$ be an irreducible non-constant polynomial such that $f(n)\\geq 1$ for all large $n\\in\\mathbb{N}$. Does there exist a constant $c=c(f)>0$ such that\\[\\sum_{n\\leq X} \\tau(f(n))\\sim cX\\log X,\\]where $\\tau$ is the divisor function?","status":"open","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A147807","name":"Partial sums of A147810(n) = tau(n^2 + 1)/2.","terms":"1,2,4,5,7,8,11,13,15,16,18,20,24,25,27,28,32,35,37,38,42,44,48,49,51,52,56,58,60,62,66,69,73,75,77,78,82,85,87,88,91,93,","url":"https://oeis.org/A147807"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}