Pi is Irrational: A Proof

We give Niven's proof that pi is irrational. We suppose that pi is rational and construct a symmetric polynomial which vanishes both at zero and pi to order n and all of whose coefficients are integers. We bound an integer between 0 and 1 to obtain a contradiction.
#mikethemathematician, #mikedabkowski, #profdabkowski