integrate 1/sqrt(3-x