結果 : antiderivative of a square root function