Cho đa thức $P(x)\in\mathbb{Z}[x]$. Chứng minh rằng tồn tại số nguyên $x_{0}$ sao cho $P(x_{0})$ là hợp số.
Đề bài này cần thêm giả thiết $P(x)$ không phải hàm hằng. Ta có thể chứng minh khẳng định mạnh hơn là tồn tại vô hạn $x_{0}$ sao cho $P(x_{0})$ là hợp số. Vì bậc của $P$ ít nhất bằng 1 nên $\lim_{x\to \infty}P(x)=\pm \infty$. Do đó có một số $m$ thỏa mãn $P(m)\neq \pm 1$. Gọi $p$ là một ước nguyên tố của $P(m)$ và xét các số
$$P(m+p), P(m+2p), P(m+3p),\dots$$
Có $P(m+kp)-P(m)$ chia hết cho $kp$ nên $P(m+kp)$ chia hết cho $p$ với mọi $k=1,2,3,\dots$. Vì phương trình $P(x)=\pm p$ chỉ có hữu hạn nghiệm nên trong các số $P(m+p), P(m+2p),\dots$ cũng chỉ có hữu hạn số nguyên tố. Do đó có vô hạn hợp số trong dãy này.