OFFSET
1,1
COMMENTS
Let r = (-1+sqrt(41))/4. Then (floor(n*r)) and (floor(n*r + 5r/2)) are a pair of Beatty sequences; i.e., every positive integer is in exactly one of the sequences. See the Guide to related sequences at A329825.
LINKS
Michael De Vlieger, Table of n, a(n) for n = 1..10000
Eric Weisstein's World of Mathematics, Beatty Sequence
FORMULA
a(n) = floor(n*s), where s = (9+sqrt(41))/4. - corrected by Michael De Vlieger, Aug 27 2021
MATHEMATICA
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Clark Kimberling, Dec 31 2019
STATUS
approved