Límite inferior para el factorial descendente (2n)n(2n)n(2n)_{n}

Estoy buscando un límite inferior para el factorial descendente

( 2 norte ) norte := ( 2 norte ) ! norte !

vi en wikipedia que norte ! > 2 π norte ( norte mi ) norte . Así que asumo que un posible límite inferior podría ser

4 π norte ( 2 norte mi ) 2 norte 2 π norte ( norte mi ) norte = 2 ( 2 norte mi ) 2 norte ( norte mi ) norte

pero no estoy seguro de si este es un límite inferior adecuado porque el denominador de la LHS depende de norte y puede estar más cerca de norte ! que el numerador es a ( 2 norte ) ! haciendo el cociente mayor que el verdadero valor de ( 2 norte ) norte . Tampoco sé si el límite citado en Wikipedia es correcto.

Gracias por tu ayuda.

Respuestas (3)

Tenemos, por suma por partes:

registro ( 2 norte ) ! norte ! = k = 1 norte registro ( norte + k ) = norte registro ( 2 norte ) k = 1 norte 1 k registro ( 1 + 1 norte + k )
y desde registro ( 1 + z ) < z para positivo z resulta que:
registro ( 2 norte ) ! norte ! norte registro ( 2 norte ) k = 1 norte 1 k norte + k = norte registro ( 2 norte ) ( norte 1 ) + norte k = 1 norte 1 1 norte + k
o:
registro ( 2 norte ) ! norte ! norte registro ( 2 norte ) norte + 1 + norte ( H 2 norte 1 H norte ) .

Como alternativa, puedes usar la desigualdad de Stirling:

( norte mi ) norte 2 π norte Exp ( 1 12 norte + 1 ) norte ! ( norte mi ) norte 2 π norte Exp ( 1 12 norte ) .

Por aproximación de Stirling

2 π norte ( norte + 1 ) / 2 mi norte norte ! norte ( norte + 1 ) / 2 mi norte 1
entonces
( 2 norte ) ! norte ! 2 π ( 2 norte ) ( 2 norte + 1 ) / 2 mi 2 norte norte ( norte + 1 ) / 2 mi norte 1 = 2 π mi ( 2 norte ) ( 2 norte + 1 ) / 2 mi 2 norte mi norte norte ( norte + 1 ) / 2 = 2 π mi 2 ( 2 norte + 1 ) / 2 norte norte / 2 mi norte .

Esta es una estimación aproximada, sin embargo, es más simple que las otras.

Desde

límite norte ( 4 norte mi ) norte ( 2 norte ) ! norte ! = 2
Puedes aproximar
( 2 norte ) ! norte ! 2 ( 4 norte mi ) norte
Entonces, por ejemplo, puedes decir
( 2 norte ) ! norte ! ( 4 norte mi ) norte
para norte lo suficientemente grande.

Gracias por tu respuesta más simple. ¿Puedes explicar por qué el límite es 2 ? ¿O es simplemente un resultado bien conocido que es difícil de derivar?
Se puede demostrar utilizando la fórmula de Stirling u otros métodos. Como puede ver, en su pregunta hay una fórmula equivalente a la fórmula que escribí.