a>0とする
∫[0→∞]e^(-(x-a/x)^2)dx=√π/2
を示せ