It required students to use a combination of trigonometry substitutions and recurrence patterns. They also had to prove a historical reduction formula: the Wallis integrals, discovered in the 17th ...