Hacker News new | ask | show | jobs
by SquibblesRedux 1897 days ago
For anyone curious about the mean of the 100th power of the sin function: https://math.stackexchange.com/questions/24533/find-the-aver...
1 comments

This one is a very beautiful question (it is called Wallis integral in other contexts). The computation exposed by Michael Lugo in that link is probably what Arnold intended, since it can almost be computed entirely in your head. The idea is that cos(x)^100 has almost exactly the same graph as a gaussian function e^(-50x^2), for which you know the integral.