RESUMEN. Damos una acotación para la suma $\displaystyle\sum_{p\le n}\log p$ con $p$ primo.
Teorema
Para todo $n\ge 1$ natural se verifica $$\sum_{p\le n}\log p < 2n\log 2.$$ Demostración
Obsérvese previamente que para $n=1$ el lado izquierdo de la desigualdad es una suma vacía y por tanto igual a $0$ con lo cual, la desigualdad se cumple. Supondremos pues que $n\ge 2.$ Consideremos el número natural $$M=\binom{2m+1}{m}=\frac{(2m+1)!}{m!(m+1)!}.$$ Se verifica $\binom{2m+1}{m}=\binom{2m+1}{m+1}$ por ser números combinatorios complementarios con lo cual $M$ aparece dos veces como coeficiente en el desarrollo binomial $2^{2m+1}=(1+1)^{2m+1}$ por tanto $2M < 2^{2m+1}$ o bien, $M < 2^{2m}.$ Si $p$ es un primo tal que $m+1 < p \le 2m+1$, entonces $p$ divide al numerador de $M$ pero no al denominador con lo cual divide a $M$ en consecuencia, $$\prod_{m+1 < p \le 2m+1}p\mid M.$$ Tomando logaritmos, $ \sum_{m+1 < p \le 2m+1} \log p\le \log M$ con lo cual $$\sum_{ p \le 2m+1} \log p-\sum_{ p \le m+1}\log p= \sum_{m+1 < p \le 2m+1} \log p \le \log M \le 2m\log 2.$$ Demostremos el lema por inducción. Es claro que se verifica para $n\le 2$ y supongamos que es cierto para todo $n\le k-1.$ Si $k$ es par, entonces $$ \sum_{p \le k} \log p= \sum_{p \le k-1} \log p \underbrace{<}_{\text{Hip. induc}}2(k-1)\log 2 < 2k \log2,$$ con lo cual es cierto para $n=k.$ Si $k$ es impar, entonces $k=2m+1,$ por tanto $$\sum_{p \le 2m+1} \log p=\sum_{p \le 2m+1} \log p-\sum_{p \le m+1} \log p+\sum_{p \le m+1} \log p$$ $$ < 2m\log 2\underbrace{+}_{\text{Hip. induc.}}2(m+1)\log 2=2(2m+1)\log 2=2k\log 2,$$ con lo cual es cierto para $n=k.$
Menú
-
Entradas recientes
- Separación de puntos y espacios de Hausdorff
- Límites en dos variables
- Conjunto cerrado como intersección contable de abiertos
- Norma en el espacio de las funciones de clase 1
- Límite por cambio de variable
- Distribución binomial
- Convergencia de la serie $\sum_{n=1}^{\infty}\frac{\sin nz}{n}$
- Módulo del seno complejo y del coseno complejo
- Partes del producto y producto de las partes
- Sucesos dependientes e independientes
- Probabilidad condicionada
- Función zeta de Riemann
- Acotación de una suma de logaritmos de números primos
- Teorema de representación de Euler
- Infinitud de los números primos. Demostración analítica
- Infinitud de los números primos. Demostración elemental
- Problema de las coincidencias de Montmort
- $\displaystyle\lim_{n \to{+}\infty}{\frac{1}{n}\sqrt[n]{(n+1)(n+2)\cdots(n+n)}}.$
- Edo $y^{\prime\prime}=x(y^\prime)^3$
- Isomorfismo entre dos anillos
- Plano osculador y curva plana
- Factorización canónica de una aplicación
- Teorema fundamental del Álgebra
- Parte principal de la serie de Laurent de $1/\sin^2z$ en $\pi < |z| < 2\pi$
- Plano de fases de $x^\prime=x,y^\prime=y^2$
- Ceros complejos de las funciones seno y coseno
- Conmutatividad de la suma en los anillos
- Polinomios de Chebyshev y número algebraico
- Dos números algebraicos
- Serie de Taylor por división en potencias crecientes
-
Las dudas o comentarios acerca de los contenidos de ésta web se pueden plantear en rinconmatematico.