Integralshard
0:00.0

Evaluate 0π/211+tannxdx\int_0^{\pi/2} \frac{1}{1 + \tan^n x} \, dx for any real nn.