Wallis' Integral: A recursive formula for an Integral?

In this video, I talk about computing the integral of sin^n (x), where n is a non-negative integer. This method was introduced by John Wallis, a 17th-century English mathematician. The result is interesting as the integral can ultimately be represented by a recursive formula.