derivative of lb(x)^(7/2) at x= 10000