|
gptkbp:instanceOf
|
gptkb:mathematical_concept
|
|
gptkbp:category
|
theorems in number theory
|
|
gptkbp:describes
|
asymptotic distribution of prime numbers
|
|
gptkbp:field
|
number theory
|
|
gptkbp:generalizes
|
gptkb:Chebyshev's_theorem
|
|
gptkbp:implies
|
primes become less common as numbers grow larger
|
|
gptkbp:influenced
|
analytic number theory
|
|
gptkbp:provenBy
|
gptkb:Charles_Jean_de_la_Vallée-Poussin
gptkb:Jacques_Hadamard
|
|
gptkbp:relatedTo
|
gptkb:Gauss's_conjecture
gptkb:Riemann_zeta_function
gptkb:Legendre's_conjecture
gptkb:logarithmic_integral
|
|
gptkbp:state
|
the number of primes less than or equal to n is approximately n / log n
|
|
gptkbp:symbol
|
π(n) ~ n / log n
|
|
gptkbp:uses
|
complex analysis
properties of the Riemann zeta function
|
|
gptkbp:yearProved
|
1896
|
|
gptkbp:π(n)
|
number of primes less than or equal to n
|
|
gptkbp:bfsParent
|
gptkb:Number_Theory
gptkb:Analytic_number_theory
gptkb:Modern_analytic_number_theory
gptkb:Multiplicative_Number_Theory
gptkb:Tauberian_theorem
|
|
gptkbp:bfsLayer
|
7
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Prime Number Theorem
|