integrate sqrt(a^ 2-x^2) from x=0 to a/sqrt(2)