As 8 does not depend on n, it would be sufficient to show pn>8 for n>=3.
This is wrong, but the few exceptions can be checked manually.
Thank you both for your kind replies.
That's exactly like you say. Of course, it's perfectly ok to check these two exceptions manually, however, I am wondering how to avoid it. Can you see any way to finish it more 'formally'?