A positive integer is decisive when every integer satisfying and is a prime number. There are only finitely many decisive numbers: every prime must divide a decisive , so the Chebyshev theta function gives , which eventually contradicts the linear lower bound for .
Codex Wiki