MathLabs

Problem 5

Prove that for every positive integer nn there exist nn consecutive positive integers none of which is a prime or a power of a prime.
Step 3 of 4: Use a prime divisor of the offset
In plain words

The added 11 prevents the chosen prime from accounting for the whole factorization.

pr∣r,pr∣Xr,pr∤Xrrp_r\mid r,\quad p_r\mid X_r,\quad p_r\nmid\frac{X_r}{r}
Detailed analysis

Choose a prime prp_r dividing rr. Since N!/rN!/r is an integer, the quotient N!(N!/r)N!(N!/r) is divisible by rr, so N!(N!/r)+1N!(N!/r)+1 is congruent to 11 modulo rr, and in particular is not divisible by prp_r. Thus XrX_r is divisible by prp_r but its quotient by prp_r is still greater than 11.