MathDB
arctan integral

Source: Putnam 1982 A3

September 20, 2021
integrationcalculus

Problem Statement

Evaluate 0arctan(πx)arctan(x)xdx.\int^\infty_0\frac{\operatorname{arctan}(\pi x)-\operatorname{arctan}(x)}xdx.