Partitioning natural numbers with pi
by John from John D. Cook on (#5564)
Every positive integer is either part of the sequence a nI a or the sequence a nI/(I - 1) a where n ranges over positive integers, and no positive integer is in both sequences.
This is a special case of Beatty's theorem.