## [Postulado de Bertrand](/es/node/62957) Definición 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 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 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 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 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 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 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 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 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.