Statements (29)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:mathematical_concept
|
gptkbp:alsoKnownAs |
π(x)
|
gptkbp:asymptoticBehavior |
π(x) ~ x / log(x) as x → ∞
|
gptkbp:codomain |
non-negative integers
|
gptkbp:describes |
number of primes less than or equal to x
|
gptkbp:domain |
non-negative real numbers
|
gptkbp:hasApproximation |
Li(x)
x / log(x) |
https://www.w3.org/2000/01/rdf-schema#label |
prime-counting function
|
gptkbp:isIntegerValued |
yes
|
gptkbp:isMonotonic |
yes
|
gptkbp:isNonDecreasing |
yes
|
gptkbp:isStepFunction |
yes
|
gptkbp:isUnbounded |
yes
|
gptkbp:notation |
π(x)
|
gptkbp:relatedTo |
gptkb:Riemann_hypothesis
gptkb:Riemann_zeta_function gptkb:prime_number_theorem gptkb:Chebyshev_function |
gptkbp:studiedBy |
gptkb:Carl_Friedrich_Gauss
gptkb:Adrien-Marie_Legendre |
gptkbp:usedIn |
number theory
|
gptkbp:valueAt10 |
4
|
gptkbp:valueAt100 |
25
|
gptkbp:valueAt1000 |
168
|
gptkbp:valueAt2 |
1
|
gptkbp:valueAt3 |
2
|
gptkbp:bfsParent |
gptkb:Primzahlsatz
|
gptkbp:bfsLayer |
7
|