Return to Revisions

Assume that $S\subset\mathbb{N}$ has density $1$. Then, for any $m\in\mathbb{N}$, the density of $S\cap m\mathbb{N}$ is $1/m$, hence the density of $\mathbb{N}\cap m^{-1}S$ is $1$. It follows that for any $m_1,\dotsc,m_k\in\mathbb{N}$, the density of $\mathbb{N}\cap m_1^{-1}S\cap\dotsb\cap m_k^{-1}S$ is $1$. In particular, there exists $n\in\mathbb{N}$ such that $nm_1,\dotsc,nm_k\in S$. So any finite progression in $\mathbb{N}$ has a scaled version lying in $S$.