What the three examples say

Three outcomes, and they are different in kind:

Only the third is a statement about the method rather than about an attempt.

So the open question is not whether some prime works, but whether one can prove that some prime works.

Does this always work?

No.

Is there a prime for which the bound will be tight?