Erdős problem 351

Let $p(x) \in \mathbb{Q}[x]$ be a non-constant rational polynomial with positive leading coefficient. Is it true that $A=\{ p(n)+1/n : n \in \mathbb{N}\}$ is strongly complete, in the sense that, for any finite set $B$ , $\left\{\sum_{a \in X} a : X \subseteq A \setminus B, X \textrm{ is finite}\right\}$ contains all sufficiently large integers?

Sources

The source's own material, retained exactly.

3 retained statements36c6d0fef71a

FormalConjectures/ErdosProblems/

351.lean

Retained formal statement2 of 3

Let $p(x) = x \in \mathbb{Q}[x]$ . It has been shown that $A=\{ p(n)+1/n : n \in \mathbb{N}\}$ is strongly complete, in the sense that, for any finite set $B$ , $\left\{\sum_{a \in X} a : X \subseteq A \setminus B, X \textrm{ is finite}\right\}$ contains all sufficiently large integers.

FormalConjectures/ErdosProblems/351.leanErdos351.erdos_351.variants.X1 lineExact file

1Erdos351.HasCompleteImage Polynomial.X

SolvedStatement only, no proof