OFFSET
1,1
COMMENTS
Let r = (3+sqrt(17))/4. Then (floor(n*r)) and (floor(n*r + r/2)) are a pair of Beatty sequences; i.e., every positive integer is in exactly one of the sequences. The sequence (a(n) mod 2)) of 0's and 1's has only two run-lengths: 3 and 4. See the Guide to related sequences at A329825.
LINKS
Eric Weisstein's World of Mathematics, Beatty Sequence.
FORMULA
a(n) = floor(n*s), where s = (5+sqrt(17))/4.
MATHEMATICA
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Clark Kimberling, Nov 22 2019
STATUS
approved