Experimento con expresión cuadrática $ax^2+bx+c$ motivado por Euler de la primer generación de polinomio $n^2+n+41$
Dado que el $\color{red}{p(n)=4n^2-4n-1}$
Conjetura: Hay siempre un número entero $n$ rango de valor de$\color{blue}{5k+1}$$\color{blue}{5k+5}$$k\ge0$, $p(n)$ siempre va a dar al menos un número primo.
Para los ejemplos
$k=0$, $n:1-5$ : [$p(2)=7$]
$k=1$, $n:6-10$ :[$p(7)=167$]
$k=2$, $n:11-15$ :[$p(11)=439$]
$k=100$, $n:501-505$:[$p(502)=1006007$]
Hasta ahora, la conjetura parece correcto, pero estamos tratando de encontrar un ejemplo donde no da un número primo, pero al parecer no funciona, por lo tanto, naturalmente, la pregunta
¿Cómo hace uno para probar o refutar esta hipótesis?