prime number theorem in Polish

(number theory) The theorem that the number of prime numbers less than n asymptotically approaches n / ln(n) as n approaches infinity.