Turma,andei fazendo uns passeios pela USP e pesquisando sobre o TNP.Acabei caindo no Teorema da PA de Dirichlet(se a razao de uma PA e prima com seu primeiro termo,entao a dita PA contera infinitos primos).Tudo saia dessa desigualdade aqui:
Sp<=x ((log p)/p)=log x+0(1),em que p significa "primo".
Alguem sabe como demonstrar?
TRANSIRE SVVM PECTVS MVNDOQUE POTIRE
CONGREGATI EX TOTO ORBE MATHEMATICI OB SCRIPTA INSIGNIA TRIBVERE
Fields Medal(John Charles Fields)