La afirmación de que para todo entero n > 1 existe al menos un primo p con n < p < 2n; es decir, siempre hay un primo estrictamente entre n y 2n.

Principio

La idea organizadora es una declaración de existencia local y uniforme sobre primos en intervalos cortos: ningún intervalo [n, 2n] para n > 1 está libre de primos, lo que refleja una regularidad mínima en la distribución de primos.

Demostración

Ejemplo concreto: para n = 10 los primos entre 10 y 20 incluyen 11, 13, 17, 19, por lo que el postulado se cumple para ese n; para n = 3 el primo 5 se sitúa entre 3 y 6.

Aplicación incorrecta

Un uso indebido es inferir que existe exactamente un primo en (n, 2n) para todo n, o aplicarlo a n no enteros o no positivos; garantiza existencia pero no unicidad ni densidad.

Consecuencia

Aplicado correctamente, el postulado de Bertrand proporciona cotas útiles en identidades e inecuaciones combinatorias (por ejemplo en estimaciones de coeficientes binomiales) y es una herramienta para construir primos en rangos prescritos.

Inversión

La inversión afirmaría que algún intervalo (n, 2n) no contiene primos; eso contradiría el postulado y permitiría brechas entre primos proporcionales a n, cambiando muchos argumentos combinatorios que dependen de esta existencia.

Límite

Ámbito: válido para enteros n > 1. No da el número de primos en el intervalo, ni su distribución precisa más allá de los límites, ni la frecuencia asintótica que proporciona el teorema de los números primos.

Tensión semántica

Existe tensión entre esta afirmación discreta de existencia y resultados analíticos más fuertes: Bertrand ofrece una garantía absoluta de corto alcance, mientras que resultados como el teorema de los números primos describen densidad y recuentos asintóticos.

Síntesis

El postulado de Bertrand es una garantía concreta de existencia: para todo entero mayor que uno hay al menos un primo estrictamente entre n y 2n, una regularidad mínima que respalda muchas construcciones combinatorias y número-teóricas elementales sin aseverar densidad.