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) |
| 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 |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
prime-counting function
|