MathLabs

Problem 6

Let n be an integer at least 2. Prove that if k2+k+nk^2+k+n is prime for every integer k with 0≤k≤n/30\le k\le\sqrt{n/3}, then it is prime for every integer k with 0≤k≤n−20\le k\le n-2.
Step 2 of 5: Step 2
M⊥{b+1,…,2b}, (2b+1)2>M⟹M primeM\perp\{b+1,\ldots,2b\},\ (2b+1)^2>M\Longrightarrow M\text{ prime}
Detailed analysis

If MM is coprime to every integer b+1,…,2bb+1,\ldots,2b and (2b+1)2>M(2b+1)^2>M, then MM is prime. A composite MM has a factor c≤M<2b+1c\le\sqrt M<2b+1; if c>bc>b, it is itself in the interval, while if c≤bc\le b, a suitable positive multiple of cc lies in [b+1,2b][b+1,2b], a contradiction.