Integration by substitution with limits