Conjetura de Firoozbakht

Función máxima diferencia entre primos consecutivos y tres de sus aproximaciones

En teoría de números, la conjetura de Firoozbakht es una proposición sobre la distribución de los números primos. Lleva el nombre del matemático iraní de la Universidad de Isfahán Farideh Firoozbakht, quien la publicó en 1982.

La conjetura establece que $p_n^{1/n}$ (donde $p_n$ es el n-ésimo número primo) es una función estrictamente decreciente de n, es decir,

$\sqrt[n+1]{p_{n+1}}<\sqrt[n]{p_n}\text{ para todo }n\ge 1.$

Equivalentemente:

$p_{n+1}<p_n^{1+\frac{1}{n}}\text{ para todo }n\ge 1,$

véase Plantilla:OEIS2C y Plantilla:OEIS2C.

Usando una tabla de diferencias máximas, Farideh Firoozbakht verificó su conjetura hasta 4.444Plantilla:E. Ahora, con tablas más extensas de diferencias máximas, la conjetura se ha verificado para todos los números primos por debajo de 2⁶⁴≈ Plantilla:Unidad.

Si la conjetura fuera cierta, entonces la función diferencia entre dos números primos consecutivos $g_n=p_{n+1}-p_n$ cumpliría:

$g_n<(\log p_n{)}^2-\log p_n\text{ para todo }n>4.$

Es más:

$g_n<(\log p_n{)}^2-\log p_n-1\text{ para todo }n>9,$

véase también Plantilla:OEIS2C. Este es uno de los límites superiores más fuertes conjeturados para las diferencias entre primos consecutivos, incluso algo más fuerte que las conjeturas de Cramér y Shanks. Implica una forma fuerte de la conjetura de Cramér y por lo tanto es inconsistente con las heurísticas de Granville y Pintz y de Maier que sugieren que

$g_n>\frac{2-\epsilon }{e^{\gamma }}(\log p_n{)}^2\approx 1.1229(\log p_n{)}^2,$

ocurre infinitamente a menudo para cualquier $\epsilon >0,$ donde $\gamma$ denota la constante de Euler-Mascheroni.

Dos conjeturas relacionadas (véanse los comentarios en Plantilla:OEIS2C) son

${\left(\frac{\log (p_{n+1})}{\log (p_n)}\right)}^n<e,$

que es más débil y

${\left(\frac{p_{n+1}}{p_n}\right)}^n<n\log (n)\text{ para todo }n>5,$

que es más fuerte.

Véase también

• Teorema de los números primos
• Conjetura de Andrica
• Conjetura de Legendre
• Conjetura de Oppermann
• Conjetura de Cramér

Bibliografía

• Plantilla:Cite book
• Plantilla:Cite book