Zero is larger than every negative integer.
({-1,,-2,,-3,,ldots})
(-1 < 0)
(-2 < 0)
(-3 < 0)
( ext{If } n < 0, ext{then } 0 > n.)