Weak Inequality of Integers iff Strict Inequality with Integer plus One

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $a, b \in \Z$ be integers.


The following are equivalent:

$(1): \quad a \le b$
$(2): \quad a < b + 1$

where:

$\le$ is the ordering on the integers
$<$ is the strict ordering on the integers.


Proof