maximum of 1/2/x^2/asin(1/sqrt(2)/x) from 0.71 to 10