Reading source record a640f3adfa536da0. View default cited record →
Elementary-number-theory reference prose
The exact passages cited in OpenMath. Each passage identifies how its wording was recorded.
For every natural number n, does there exist a prime p with n < p?
Passage ID: prime-infinitude:entry:0:v1
Source item: notes/primes.md lines 9–15, 21–29
Source record: openmath-prime-note@a640f3adfa536da0
Explicit citations in versioned problem publications. A citation records a use; it does not confer proof or independent verification.
Problem publication v8
Source assessment
Proved
Known theorem in authored reference note
The cited source item and version only; this is not an independent OpenMath assessment.
Observed Oct 1, 2026
Source assessment
Proved
Known theorem in authored reference note
The cited source item and version only; this is not an independent OpenMath assessment.
Observed Oct 1, 2026
Source assessment
Proved
Known theorem in authored reference note
The cited source item and version only; this is not an independent OpenMath assessment.
Observed Oct 1, 2026
Further reading
Read the setting and notation before comparing the results.
OpenMath staff
OpenMath source records preserve exact citations. Observation dates order these records; they do not establish the latest upstream paper or proof.
OpenMath · prime note
Licensed source links and exact source spans; attribution retained.
Source terms ↗