Gauss's estimate for the density of primes