Minimum Prime Bound in Square Intervals

Primarily human-written textHuman understanding: all partsmath.NT β€” Number Theorymath.GM β€” General Mathematics

Contributed by Min Min Oo Oo β†—

Version 1 / Oct 23, 2026 / CC BY 4.0

Abstract

This paper presents a proof of Legendre’s Conjecture by analyzing the distribution of odd composite and their elimination through odd composite sequences. The odd integer sequence is expressed as 𝑂β‰₯3 = 3 + 2π‘Ÿπ‘‚, while odd composite numbers are represented as 𝑂𝑝 = 𝑝2 + 2π‘π‘Ÿπ‘, where 𝑝 is prime and π‘Ÿπ‘ β‰₯ 0. Each prime-square sequence introduces a systematic elimination of odd composite numbers, reducing the density of primes in the sequence. By sequentially applying elimination factors (π‘ž βˆ’ 1)/π‘ž for primes π‘ž β‰₯ 3, we derive a lower bound for prime density: d/(dr_O ) N_pβ‰₯2/p Considering the quadratic interval [𝑛2, (𝑛 + 1)2], the total change in π‘Ÿπ‘‚ is Ξ”π‘Ÿπ‘‚ = (𝑛+1)2βˆ’π‘›2 = 𝑛 + Β½ . Combining this with the density bound yields a lowest bound of prime count per interval: Ο€_((n^2,(n+1)^2))^LBβ‰₯⌈2/p (n+1/2)βŒ‰=2(pβ‰ˆn+1) Thus, every quadratic interval [𝑛2, (𝑛 + 1)2] contains at least two primes, establishing Legendre’s Conjecture. This elimination-based framework provides a systematic proof based on the distribution of odd integers and odd composite sequences.

References

No bibliography entries.

Version history

  1. v1Submitted by Min Min Oo OoInitial depositCurrentOct 23, 2026