Demuestra que existen infinitos enteros n tales que n2 + 1 tiene un divisor primo mayor que $2n+\sqrt{2n}$.
Por el teorema de Dirichlet existen infinitos primos de la forma 4k+1. El teorema de Dirichlet es demasiado, pues este caso puede ser probado de forma más sencilla. Sin embargo, me baso en él pues es muy famoso.
Ahora bien, como hay infinitos primos de esta forma, por supuesto también habrá infinitos primos de la forma $4k+1$ y mayores que 20.
Ahora bien, probemos el siguiente lema:
