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