It's the standard tactic for deriving the value of this integral when we have infinite bounds on both ends, and my logic seems to check out, but with this derivation, I'm very leery of why it can give a correct answer (I've checked it several times for lots of conditions) and yet clearly cannot be used to find an antiderivative