is an injection if, and only if:

or equivalently:

We prove that is an injection: let and be two real numbers such that . Then we have:

We have , therefore is not an injection.

- In order to prove a general property, we have to make a general proof.
- In order to discard a general property, we give a counterexample.

Noah Dana-Picard 2007-12-28