Skip to content

Formal ConjecturesWikipedia

For every integer x≥2x \ge 2 there exists a prime between x(x−1)x(x-1) and x2x^2.

Exact formalization occurrence from the upstream source collection.

Open source
Source category
research open
Formal proof
Not retained
Vela current state
No Repository Result attached

Work on the upstream declaration

Formal Conjectures uses GitHub pull requests for contributions and maintainer decisions.

Open exact source Add a Result