Wallis' Formula: = integral x dx = integral x dx
= [] * [] * ... *
- Last factor is pi/2 if n is even (sequence ends at 1/2 * pi/2)
- Last factor is 1 if n is odd
Quick Values: = pi/2, = 1, = pi/4, = 2/3, = 3pi/16, = 8/15, = 5pi/32
Extended Wallis: integral(0 to pi) x dx = 2 * (even function on [0, pi] after King's Rule) integral(0 to 2pi) x dx = 4 * (when n is even), 0 (when n is odd)