Statements (22)
| Predicate | Object |
|---|---|
| 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
|
| https://www.w3.org/2000/01/rdf-schema#label |
Prime Number 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:Analytic_number_theory
|
| gptkbp:bfsLayer |
5
|