NICE DOUBLE TRIG INTEGRAL

Today I came across this integral in Twitter, click here for my proof.




\begin{align*} \int_0^{\pi/2}\int_0^t \frac{x}{\sin x}\,dx\,dt&=\frac72 \zeta(3)-\pi G \end{align*}

Comments

Post a Comment