MathDB
SMT 2007 Team #15

Source:

June 30, 2012
integrationtrigonometrylogarithms

Problem Statement

Evaluate 0tan1(πx)tan1xxdx\int_{0}^{\infty}\frac{\tan^{-1}(\pi x)-\tan^{-1}x}{x}dx