Beatty sequence

Integers formed by rounding down the integer multiples of a positive irrational number

In mathematics, a Beatty sequence is the sequence of integers found by taking the floor of the positive multiples of a positive irrational number. Beatty sequences are named after Samuel Beatty, who wrote about them in 1926.

This keyword could refer to multiple things. Here are some suggestions: