0.5 * integrate u/(sqrt(10000-u)*log(u)) du from u=1.0001 to 9999.999