Dado un entero positivo $n$ , encuentre el menor $\lambda>0$ tal que para cualquier $x_1,\ldots x_n\in \left(0,\frac{\pi}{2}\right)$ , la condición $\prod_{i=1}^{n}\tan x_i=2^{\frac{n}{2}}$ implica $\sum_{i=1}^{n}\cos x_i\le\lambda$ .