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