Category:Definitions/Beatty Sequences