Dado $ n \geq 3$ , $ n$ es un entero. Demuestra que: \[ (2^n - 2) \cdot \sqrt{2i-1} \geq \left( \sum_{j=0}^{i-1}C_n^j + C_{n-1}^{i-1} \right) \cdot \sqrt{n}\] donde si $ n$ es par, entonces $ \displaystyle 1 \leq i \leq \frac{n}{2}$ ; si $ n$ es impar, entonces $ \displaystyle 1 \leq i \leq \frac{n-1}{2}$ .