I'm trying to find some nice proofs for the following limit
$$\lim_{n\to\infty} \int_{0}^{\pi/4}\tan^n x \ dx$$
One way is to use the integration by parts. What else can we do here? Are there some fast ways?
All answers will have my upvote. Thanks!