Easy looking integral, not so easy… I saw this post from @infseriesbot and wanted to proof at least the first one. After a hardwork to compute this easy looking integral, I found out that the result stated by @infseriesbot is incorrect! Exctly, this time @infseriesbot is wrong. Checking numerically confirms the computation here. Proof let Now use the fact that for The second integral is a little trickier Observe the following dividing both sides by and integrating from to Now we have to evaluate the three integrals on the RHS and we are done. I´ll state the value of each of the integrals and show the proof in the end. The next integral is the same as so no need to proof it again. Putting all together we get Now summing the results of and we get the final result! Checking numerically we have and , which agrees with WolframAlpha ! A Corollary We just computed the integral On the other hand we can show that this inte...