Gauss Approximate Number of Primes devil's notch