Please help:
Give an example of a predicate P(n) about positive intergers N, such that P(n) is true for every positive interger from 1 to one billion, but which is never-the-less not true for all positive intergers.
(Hint: there is a really simple choice possible for the predicate P(n).)