Weakening the Legendre Conjecture

The world of primes has many gaps between evidence and theorems. Here, we review Legendre’s conjecture on primes between consecutive squares and recent progress on the weaker question of primes between consecutive larger powers. Assuming the Riemann hypothesis (RH), we observe that a recent result of Emanuel Carneiro, Micah Milinovich and Kannan Soundararajan, combined with a large-scale computation by Jonathan Sorenson and Jonathan Webster, implies the existence of primes between x2+δ and (x+1)2+δ for all real x≥1 when δ≥1/4. For smaller values of δ>0, we provide an explicit bound x0=x0(δ) such that primes exist in these intervals whenever x≥x0 (again assuming RH). We conclude with an application to Mills-type prime-generating constants.