Item 0.3.2.b.

We get the same set as we did in the previous part, and the smallest non-negative number for which \(n^2 - 5\) is a natural numbers is 3.

Note that if we didn’t specify \(n \in \N\) then any integer less than \(-3\) would also be in the set, so there would not be a least element.

in-context