Proof that pi is irrational