A well-motivated proof that pi is irrational

Timothy Y. Chow

Ivan Niven's succinct proof that pi is irrational is easy to verify, but it begins with a magical formula that appears to come out of nowhere, and whose origin remains mysterious e…