Maths WorkshopMaths problems with full solutions
Exercise 459Number theory › Divisibility and gcdHigh schoolAdded 3 Nov 2026

Every integer has a prime divisor

#primes#divisor#well-ordering

Statement

Show that every integer n≥2n\ge2 has at least one prime divisor.

Hint

Use well-ordering on the set of divisors of nn greater than 11.

Show solutionHide solution

Solution

Well-ordering. Let D={d≥2:d∣n}D=\{d\ge2:d\mid n\}, nonempty since n∈Dn\in D. Let p=min⁡Dp=\min D.

pp is prime. If p=abp=ab with 1<a,b<p1<a,b<p, then a∣p∣na\mid p\mid n, so a∈Da\in D, contradicting minimality of pp. Hence pp has no nontrivial factorization.

Conclusion. pp is a prime divisor of nn.