Pi is less than 22/7: the backwards adventure.

A suitable definite integral can be found to prove that pi is less than 22/7. Who knows how this integral was originally cooked up but it was fun working on it in the reverse direction. It's amazing that we can prove this without knowing any value of pi at all. Watch part 2...    • Ptolemy's value for Pi and Backhouse panca...