𝘶-substitution: definite integral of exponential function