El mismo Gauss introdujo una estimación más precisa, utilizando la función logaritmo integral: