Encontrar el mínimo valor de este producto

Question

Es cierto que $f(n) = \prod _{ i=1 }^{ n }{ (1-\frac { 1 }{ { 2 }^{ i } } ) } \ge \frac{1}{4} \quad \forall n$? Se me ocurrió con esta expresión, tratando de encontrar una forma alternativa de resolver un problema de física. La solución oficial tiene un valor mínimo de $\frac{1}{4}$, pero no podía demostrar que mi solución también tiene un mínimo de $\frac{1}{4}$.

Answer 1

Para $0 < x \leqslant \frac12$, tenemos la estimación

$$\lvert \log (1-x)\rvert = \sum_{n=1}^\infty \frac{x^n}{n} < x + \frac{x^2}{2}\sum_{k=0}^\infty x^k = x + \frac{x^2}{2(1-x)} \leqslant x + x^2,$$

así nos encontramos con

$$\log f(n) = \sum_{i=1}^n \log \left(1 - \frac{1}{2^i}\right) > - \sum_{i=1}^n \left(\frac{1}{2^i} + \frac{1}{2^{2i}}\right) > - \left(1 + \frac13\right),$$

de dónde

$$f(n) > e^{-4/3} \approx 0.26359713811572677 > \frac14.$$

Menos crudo estimación del logaritmo de los rendimientos más grande de los límites.