 
 
 
 
 
   
 
 .
We assume that
.
We assume that 
 , because otherwise there is no
hope that
, because otherwise there is no
hope that  is prime infinitely often.  
For example,
 is prime infinitely often.  
For example,  is only prime for one value of
 is only prime for one value of  .
.
 .
. and underline
the ones that are prime:
 and underline
the ones that are prime:
 
 
f(n, s=0) = for(x=1, n, if(isprime(4*x-1), s++); s
Suppose 
 are primes of the form
 are primes of the form  .  Consider
the number
.  Consider
the number
 
 for any
 for any  .  Moreover, not every prime
.  Moreover, not every prime  is
of the form
 is
of the form  ; if they all were, then
; if they all were, then  would also be of the
form
 would also be of the
form  , which it is not.
Thus there is a
, which it is not.
Thus there is a  that is of the form
 that is of the form  .  Since
.  Since 
 for any
for any  , we have found another prime of the form
, we have found another prime of the form  .  We can repeat
this process indefinitely, so the set of primes of the form
.  We can repeat
this process indefinitely, so the set of primes of the form  is infinite.
 
is infinite.
  
 ,
,  .   Then
.   Then
 
 .
Next
.
Next 
 
 .
Again:
.
Again:
 
 is a prime, but it is of the form
 is a prime, but it is of the form 
 .
However,
.
However,  is prime and
 is prime and 
 .
We are unstoppable
.
We are unstoppable
 
 , is of the form
, is of the form  and the large
one is of the form
 and the large
one is of the form  .
Etc!
.
Etc!
 and
 and  be integers with
 be integers with 
 .
Then there are infinitely many primes of the form
.
Then there are infinitely many primes of the form
 .
.  
 
 
 
 
