<pre>
Is there a non-trivial property that holds for the first 10,000 positive
integers, then fails?

[[RecPuzzlesParadox Solution]]
</pre>
