Quiz

So, Yashur answered correctly, right, Kosh? I don't remember how to solve such integrals anymore; I think you need a trigonometric substitution. I could look it up online, but that wouldn't be fair. Or I could take paper and a pen and try to solve it...

I don't think it's possible to solve it at all. If the sine were multiplied by x, it would be easy, but when it's in the denominator, it's unlikely. So, Yashur probably answered correctly, but he either knew the answer or used some program to calculate it. I don't think it's possible to solve this integral analytically.