Pi is Irrational

Theorem
Pi ($\pi$) is irrational.