A toughie trigonometric integral

Prove that

    \[\int_{0}^{\infty} \frac{\sin^2 \tan x}{x^2} \, \mathrm{d}x = \frac{\pi}{2}\]

Solution

Read more