How can one prove that
∫10tan−1[tanh−1x−tan−1xπ+tanh−1x−tan−1x]dxx=π8lnπ28?
Answer
I re-posted larry’s question on MathOverflow, and the FINAL ANSWER posted by Prof. Juan Arias de Reyna(here and here) comes after a month!
Attribution
Source : Link , Question Author : larry , Answer Author : Community