Maths WorkshopMaths problems with full solutions
Exercise 564Logic, sets and proofs › Quantifiers and negationHigh schoolAdded 3 Nov 2026

Refuting a universal statement

#refutation#counterexample#forall

Statement

Show that ∀n∈N, n2+n+41\forall n\in\mathbb{N},\ n^2+n+41 is prime is false.

Hint

Find nn for which the expression is composite.

Show solutionHide solution

Solution

Counterexample. At n=40n=40: n2+n+41=402+40+41=402+2×40+1=412n^2+n+41=40^2+40+41=40^2 + 2 \times 40 + 1=41^2 which is not prime.

Conclusion. The universal statement is false.