[math-fun] help needed with a definite integral