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

Popular posts from this blog