Lambek–Moser Theorem

Any monotonic integer-valued function partitions the positive integers into 2 subsets.