Ipoteza lui Firuzbekht

Conjectura lui Firuzbekht [1] [2] este o presupunere despre distribuția numerelor prime . Conjectura poartă numele matematicianului iranian Farida Firuzbakht (1962-2019) de la Universitatea din Isfahan, care a propus-o în 1982.

Enunț de ipoteză

Conjectura afirmă că (unde este al n -lea număr prim) este o funcție strict descrescătoare a lui n , i.e.

pentru toți

Echivalent:

pentru toți

vezi secvenţele A182134 , A246782 .

Confirmarea ipotezei

Folosind tabelul intervalelor maxime , Farida Firuzbakht și-a testat ipoteza până la 4.444⋅10 12 [2] . Cu un tabel extins de intervale maxime, conjectura a fost testată pentru toate numerele prime până la [3] [4] .

Relația cu alte ipoteze

Dacă ipoteza este adevărată, atunci funcția intervalelor dintre numere prime trebuie să satisfacă inegalitatea [5]

pentru toți

Mai mult [6] ,

pentru toți

vezi și secvența A111943 . Conjectura este printre cele mai puternice ipoteze despre limitele superioare pentru intervalele dintre numere prime, este chiar ceva mai puternică decât conjecturile lui Cramer și Shanks [4] . Conjectura implică o formă puternică a conjecturii Cramer și, prin urmare, este incompatibilă cu euristica lui Granville, Pintz [7] [8] [9] și Mayer [10] [11] , care presupun că

apare de nenumărate ori pentru oriunde indică constanta Euler-Mascheroni .

Două ipoteze înrudite (vezi comentariile secvenței A182514 )

care este ceva mai slabă și

pentru toți

care este mai puternic.

Vezi și

Link -uri

Literatură

Note

  1. Ribenboim, 2004 , p. 185.
  2. 12 Rivera , 2012 .
  3. Lacune între  numere prime consecutive . Preluat la 25 martie 2018. Arhivat din original la 10 septembrie 2012.
  4. 12 Kourbatov , 2018 .
  5. Sinha, 2010 , p. 1–10.
  6. Kourbatov, 2015 .
  7. Granville, 1995 , p. 12–28.
  8. Granville, 1995 , p. 388–399.
  9. Pintz, 2007 , p. 232–471.
  10. Adleman, McCurley, 1994 , p. 291–322.
  11. Maier, 1985 , p. 221–225.