Prove That Log2 3 Is Irrational