how to prove int_0^inf sin(t^2) dt = sqrt(pi/8)

Printable View