Joseph Bertrand de la conjetura de los números primos a partir de 1845, $\;p_{n+1} < 2p_n$, demostrado por Chebyshev de 1852, se puede generalizar como sigue: $$\forall a\in\Bbb Z_+\exists N\in\Bbb Z_+:(n\ge N\implies\exists p\in\Bbb P: ap_n<p<(a+1)p_n)$$ Parece ser que se han demostrado para la $a=2,3$ que $N=1$ obras (Wikipedia).
Las pruebas del equipo para $p_n< 10,000,000$ $(n\le 664,579)$:
$a=5,9,14$ tiene para todos los números primos $p_n\ge 2$, es decir, se parece a $N=1$.
El caso de $a=4$ es la prueba de $p_n\ge 5\; (N=3)$.
El caso de $a=25$ es la prueba de $p_n\ge 23\; (N=9)$.
Equipo de pruebas para $p_n<1,000,000\;(n\le 78,498)$:
Equipo de pruebas para $p_n<100,000\;(n\le 9,592)$:
Lo que se sabe acerca de esto?
Es la conjetura posible demostrar?