integral of 1/sqrt(1-x^2) from 0 to 1/sqrt(2)