∫[0,∞] e^(-x^2) = √(π/2) だった。