reduction formula

for: an integral which involves a power of (or of some function of )

is: an equation which relates the integral to another integral of the same form but involving a lower power of (or of the function of ). [M5.5]

See further integration in the Maths handbook.