Este es un problema de la abeja de integración del MIT 2017.
$$\int_0^{\pi/2} \frac 1 {1+\tan^{2017} x} \, dx$$
He probado el método de sustitución, multiplicando el numerador y el denominador con $\sec^2x$ , rompiendo el numerador en términos de combinación lineal del denominador y la derivada de éste. Ninguno de estos métodos funciona.
¿Alguna pista, por favor?