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