$f:(0,\frac{\pi}{2})\to$$\mathbb{R}$, $f(a) = \int_0^1\frac{dx}{x^2+2x\tan a + 1}$, $\forall a\in(0,\frac{\pi}{2})$
What is $\lim_ {a\to \frac{\pi}{4}} f(a)$?
I am confused. Function $f$'s domain is given at the beginning but then this $\forall a\in(0,\frac{\pi}{2})$ is given . Isn't $a$ the variable with which $f$ is defined?
The only thing i can extract from here is $\tan a$ being positive always but aside from that i do not know what to do. I tried writing the denominator by "completing the square" and then i used u-substitution but in the end i get $\frac{1}{2\sqrt {\tan^2{a -1}}}$ multiplied by some logarithms but this is defined only for ${\tan^2a} \gt 1$.
How do i solve it?