Definition of a Euclidean Domain: how to show that the condition $f(ab)\ge f(a)$ is actually not necessary?
Can anyone make me understand in simple language why the second condition for being an Euclidean domain is superfluous?