なるほど…
lim[n→∞] n ∫[0→π/4] (tanθ)^2n dθ
も求められるわけか