RE: Prove that e is irrational