How do you evaluate the definite integral #int sin^(5)x * cos^(20)x dx# from [0,pi/2]?