Partitioning natural numbers with pi

Every positive integer is either part of the sequence ⌊ nπ ⌋ or the sequence ⌊ nπ/(π – 1) ⌋ where n ranges over positive integers, and no positive integer is in both sequences.

This is a special case of Beatty’s theorem.