For every integer $x \ge 2$ there exists a prime between $x^2$ and $x(x+1)$.

History

1. Source revision33c6a2dcafc5

   Declaration retained in the published subset

   Oppermann.oppermann_conjecture.parts.ii binds its category, docstring, Lean signature, source path, rights basis, and exact file root together.

2. Earlier rename history

   No earlier declaration alias, split, merge, or supersession is asserted by this retained snapshot.