Martin has to work quickly

How to prove pi is irrational

I don't understand why proofs like these exist past practice, just infer.

erm! you need to be able to prove if something is rational no matter how dumb it sounds - ( he is a not a nerd, nerds are cool, he is a loser).