integral 1/(2·√x)