¿Suma de (ln N / i) a partir de (I = 1), hasta (I = N)?

Usaremos el hecho de que

[matemáticas] \ ln (a) + \ ln (b) = \ ln (a * b) [/ matemáticas]

Entonces:

[matemáticas] \ sum_ {i = 1} ^ n \ ln (\ frac {n} {i}) = \ ln (\ prod_ {i = 1} ^ n \ frac {n} {i}) [/ math]

[matemáticas] = \ ln (\ frac {n ^ n} {n!}) [/ matemáticas]

Ahora usaremos el mismo hecho a la inversa

[matemáticas] \ ln (a * b) = \ ln (a) + \ ln (b) [/ matemáticas]

[matemáticas] \ ln (\ frac {n ^ n} {n!}) = \ ln (n ^ n) – \ ln (n!) = n * \ ln (n) – \ ln (n!) [/ matemáticas]

No hay una forma cerrada fácil para [math] \ ln (n!) [/ ​​Math], pero hay una muy buena aproximación conocida como aproximación de Stirling [1]

La aproximación de Stirling es [matemática] \ ln (n!) \ Aprox n * \ ln (n) – n + O (\ ln (n)) [/ matemática]

Conectando eso de nuevo, obtenemos

[matemáticas] \ sum_ {i = 1} ^ n \ ln (\ frac {n} {i}) \ aprox n * \ ln (n) – (n * \ ln (n) – n) [/ matemáticas]

[matemáticas] \ sum_ {i = 1} ^ n \ ln (\ frac {n} {i}) \ aprox n [/ matemáticas]

Una aproximación un poco más precisa sería

[matemáticas] \ sum_ {i = 1} ^ n \ ln (\ frac {n} {i}) \ aprox n- \ frac {1} {2} \ ln (2 \ pi * n) [/ matemáticas]

Notas al pie

[1] Aproximación de Stirling – Wikipedia

Es un método perfectamente factible hacerlo con un gráfico.

Gráfico de suma

Según las reglas de los logaritmos, una suma de registros es igual al registro del producto de los términos.

Por lo tanto, nuestro valor es equivalente a [math] \ ln \ left (\ frac {n ^ n} {n!} \ Right) [/ math].

También podemos separar el numerador y el denominador, lo que nos da:

[matemáticas] \ ln (n ^ n) – \ ln (n!) [/ ​​matemáticas]

El primer término se simplifica a [matemáticas] n \ ln n [/ matemáticas]. El segundo término se puede simplificar usando la aproximación de Stirling para el factorial: aproximación de Stirling – Wikipedia, que muestra que [math] \ ln (n!) \ Aproxima n \ ln n – n [/ math].

¡Eso nos da una respuesta final de aproximadamente [matemáticas] n [/ matemáticas], con algunos términos más pequeños que puede obtener al usar una aproximación más cercana a [matemáticas] n! [/matemáticas]

㏑N / 1 + ㏑N / 2… .. + ㏑N / N = ㏑N² / N! = ㏑N / (N-1)!