[math-fun] Re help with definite integral