"El conjunto de $\{f(n)\}, n=1,2,\ldots$ incluye todos los números primos excepto un número finito de excepciones".
Esta declaración es verdadera para $$f(n)=\sqrt{1+24n},$$ para que las excepciones son 2 y 3. También genera la no-enteros y no prime enteros, sin embargo. (alerta de spoiler) La prueba utiliza el hecho de que los dos vecinos de todos los números primos (excepto 2 y 3) contienen los factores 2, 3 y 4 entre ellos (2*3*4=24).
Ya no hay más factores que 2^3 y 3 se pueden encontrar generalmente en los dos vecinos de los números primos, la expresión $f(n)=\sqrt{1+24n}$ es el más restrictivo de la expresión de esa particular forma funcional que todavía genera todos los números primos. Es decir, genera todos los números primos y el menor número de no-primos.
Otras expresiones que se ajustan a la declaración anterior se $f(n)=\sqrt{1+4n}$, $f(n)=2n-1$ y, por supuesto,$f(n)=n$, pero producen más no de los números primos.
Mi pregunta: Se sabe que de forma cerrada expresión $f(n)$ genera todos los números primos y el número más pequeño (en cierto sentido) de los no primos? Es quizás $f(n)=\sqrt{1+24n}$?