Skewes
Origem: Wikipédia, a enciclopédia livre.
S. Skewes demostrou, em 1955, que para um n suficientemente grande a fórmula de Gauss iria subestimar o número primo* (ou seja, para algum N grande o suficiente passaríamos a ter N / ln < Nπ(N)).
Com o número N0 = 10^10^10^34 = 10^10^10.000.000.000.000.000.000.000.000.000.000.000 um número que, até mesmo para matemática, é enorme e sem qualquer aplicação prática. Para comparação, o número de partículas no universo é da ordem de 1087.