$\displaystyle f(x) = \lim_{n \to \infty} ((\cos x )^n + (\sin x)^n))^{1/n}$ . Entonces $\int _0 ^{\pi /2} f(x)\,dx$ ¿es?
He procedido intentando resolver el límite primero ya que la integral de la función con las potencias es muy difícil de resolver pero incluso usando l'hospital dos veces (después de tomar el log) no soy capaz de resolver el límite. ¿Cómo puedo proceder?