DefinitionDefinition: Literature-sourcedProof: Not applicableaudited 2026-09-05
How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Natural and Dirichlet density
Definition
Let and write .
- If the limit exists, the natural density of is
- If the limit exists, the Dirichlet density of is the number for which equivalently
If is a set of primes, its relative natural density among the primes is the limit of when that limit exists, where .
Its relative Dirichlet density among the primes is the number for which
Since as , this is equivalently
Used by
Dependency tree · 0 levels
Nothing. This result depends on no other item in the library.
Sources
- Kiran S. Kedlaya, Notes on Analytic Number Theory, Definitions 4.3 and 4.4 (standard reference, not scraped)