Definition:Beatty Sequence

Definition
Let $x$ be an irrational number.

The Beatty sequence on $x$ is the integer sequence $\mathcal B_x$ defined as:
 * $\mathcal B_x := \left\langle{\left\lfloor{n x}\right\rfloor}\right\rangle_{n \mathop \in \Z_{\ge 0} }$

That is, the terms are the floors of the successive integer multiples of $x$.