Set , so , and write . The integration by substitution gives . For , integration by parts yieldsBoth endpoint terms vanish. Use inside the remaining integral:ConsequentlyThis is the instance of the power-complement integral recurrence, with initial value .
Apply the power-complement integral recurrence three times, starting from :Each factor corresponds to reducing by one; the final unreduced integral is just .