Re: [math-fun] Re help with definite integral