집합 $S$는 아래 세 조건을 만족시키는 양의 정수들의 집합 중 가장 작은 것이다.

(a) $2$는 $S$의 원소이다.

(b) $n^2$이 $S$의 원소이면 $n$ 또한 $S$의 원소이다.

(c) $n$이 $S$의 원소이면, $(n+5)^2$ 또한 $S$의 원소이다.

$S$에 속하지 않은 양의 정수들은?

(집합 $S$가 가장 작다는 뜻은 $S$가 그러한 성질을 갖는 다른 모든 집합의 부분집합이라는 뜻이다.)