para todo "x" suficientemente grande, donde π("x") es la función contadora de primos y ln("x") es el logaritmo natural de "x".