Alphabeta Math
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 AN1 and write A(x):=#{nx:nA}.

  • If the limit exists, the natural density of A is limxA(x)x.
  • If the limit exists, the Dirichlet density of A is the number δ for which lims1, s>1(s1)nAns=δ, equivalently nAns=δs1+o ⁣(1s1)(s1, s>1).

If P is a set of primes, its relative natural density among the primes is the limit of πP(x)/π(x) when that limit exists, where πP(x):=#{px:pP}.

Its relative Dirichlet density among the primes is the number δ for which

lims1, s>1pPpspps=δ.

Since pps=log(1/(s1))+O(1) as s1, this is equivalently

pPps=δlog1s1+o ⁣(log1s1)(s1, s>1).

Used by

Dependency tree · 0 levels

Nothing. This result depends on no other item in the library.

Sources