Esto es cierto para una amplia variedad de secuencias, no solo primos. Porque todo lo que está haciendo es (1-suma anterior) por una fracción menos que uno.
Digamos que cada término es
[matemáticas] \ displaystyle t_n = \ frac {1} {p_n} \ prod_ {i = 1} ^ {n-1} \ left (1 – \ frac {1} {p_i} \ right) [/ math]
Vea cómo son las sumas parciales:
- ¿Cuál es la respuesta para: [matemáticas] \ displaystyle \ sum_ {n = 0} ^ {100} n = [/ matemáticas]?
- ¿Qué es un método, sin trigonometría, o los pasos sobre cómo encontrar la raíz cúbica de un número complejo 8-6i?
- ¿Puede el [math] \ sqrt {5} [/ math] en la fórmula de Binet para Fibonacci [math] F_n = \ frac {(1+ \ sqrt {5}) ^ n- (1- \ sqrt {5}) ^ n } {2 ^ n \ sqrt {5}} [/ math] se cancela?
- ¿Cómo se puede resolver [matemáticas] 2 ^ x = 10x [/ matemáticas]?
- En una escala de 1-10, ¿qué tan bien va tu vida y por qué?
[matemáticas] \ displaystyle s_1 = t_1 = \ frac {1} {p_1} [/ matemáticas]
Nota [matemática] \ displaystyle 1 – s_1 = 1 – \ frac {1} {p_1} [/ math]
[matemáticas] \ displaystyle s_2 = t_1 + t_2 = \ frac {1} {p_1} + \ frac {1} {p_2} \ left (1- \ frac {1} {p_1} \ right) [/ math]
Nota
[matemáticas] \ displaystyle \ begin {align *} 1 – s_2 & = 1 – \ frac {1} {p_1} – \ frac {1} {p_2} \ left (1- \ frac {1} {p_1} \ right ) \\ & = \ left (1 – \ frac {1} {p_1} \ right) (1- \ frac {1} {p_2}) \ end {align *} [/ math]
Ahora puedes probar por inducción:
[matemáticas] \ displaystyle \ begin {align *} 1 – s_n & = 1 – (t_n + s_ {n-1}) \\ & = (1 – s_ {n-1}) – t_n \\ & = \ prod_ {i = 1} ^ {n-1} \ left (1 – \ frac {1} {p_i} \ right) – \ frac {1} {p_i} \ prod_ {i = 1} ^ {n-1} \ left (1 – \ frac {1} {p_n} \ right) \\ & = \ prod_ {i = 1} ^ {n} \ left (1 – \ frac {1} {p_i} \ right) \ end {align *}[/matemáticas]
En otras palabras, siempre que [math] t_n \ rightarrow 0 [/ math], esto converja a 1. Esto es cierto incluso para secuencias como [math] p = \ {2,2,2,2, \ cdot \ cdot \ cdot \} [/ math]. Que incluirá constantes, números pares, números primos, etc. Los criterios exactos parecen ser:
[matemáticas] s_n \ rightarrow 1 \ iff \ sum_ {i = 1} ^ n \ frac {1} {p_n} = \ infty [/ math]
Por lo tanto, no converge a cero para progresiones geométricas (o incluso fibonacci).
Las secuencias para las que funciona son:
[matemáticas] \ sum_ {i = 1} ^ n \ frac {1} {k} = \ frac {n} {k} \ rightarrow \ infty [/ math]
[matemáticas] \ sum_ {i = 1} ^ n \ frac {1} {i} = O (\ log (n)) \ rightarrow \ infty [/ math]
[matemáticas] \ sum_ {i = 1} ^ n \ frac {1} {\ text {prime} _i} = O (\ log (\ log (n)) \ rightarrow \ infty [/ math]