Comment by voidUpdate

That's why I said an arbitrary number, you can't just precompute the primality of every single number... And I'm afraid I don't really understand your proof of being able to do loops without any kind of looping construct in the language itself