Formalizes asymptotic distribution of the prime numbers among the positive integers that is, the intuitive idea that primes become less common as they become larger by precisely quantifying the rate of occurrence.-Formalizes asymptotic distribution o