Prove 2.9999999~ doesn't = 3