Conjetura de Firoozbakht

es el n-ésimo número primo) es una función estrictamente decreciente de n, es decir, Equivalentemente: véase A182134 y A246782.

Usando una tabla de diferencias máximas, Farideh Firoozbakht verificó su conjetura hasta 4.444×1012.

[2]​ Ahora, con tablas más extensas de diferencias máximas, la conjetura se ha verificado para todos los números primos por debajo de 264≈ 1,84×1019.

[3]​[4]​ Si la conjetura fuera cierta, entonces la función diferencia entre dos números primos consecutivos

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.

[4]​ Implica una forma fuerte de la conjetura de Cramér y por lo tanto es inconsistente con las heurísticas de Granville y Pintz[7]​[8]​[9]​ y de Maier[10]​[11]​ que sugieren que ocurre infinitamente a menudo para cualquier

Dos conjeturas relacionadas (véanse los comentarios en A182514) son que es más débil y que es más fuerte.