./52929>
On appelle pi(n) le nombre de nombres premiers inférieurs à n.
On appelle Li(x) la fonction intégrale de 2 à x de dt / ln(t).

On a alors pi(x) ~ Li(x), et on constate qu'on a toujours pi(x) > Li(x).

Pourtant on a démontré que pi(x) - Li(x) change de signe une infinité de fois. On ne sait pas quand se produit le premier changement de signe, mais ça doit être au moins pour x > 10^311.
I win.