login

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

A307513
Beatty sequence for 1/log(2).
1
1, 2, 4, 5, 7, 8, 10, 11, 12, 14, 15, 17, 18, 20, 21, 23, 24, 25, 27, 28, 30, 31, 33, 34, 36, 37, 38, 40, 41, 43, 44, 46, 47, 49, 50, 51, 53, 54, 56, 57, 59, 60, 62, 63, 64, 66, 67, 69, 70, 72, 73, 75, 76, 77, 79, 80, 82, 83, 85, 86, 88, 89, 90, 92, 93, 95, 96, 98, 99, 100, 102, 103, 105, 106, 108, 109, 111, 112, 113, 115
OFFSET
1,2
COMMENTS
Very similar to A059539 because A002581 is close to A007525.
FORMULA
a(n) = floor(n*A007525).
A166986(n) = 2*a(n+2)-4.
CROSSREFS
Cf. A007525.
Sequence in context: A155902 A307913 A059539 * A186515 A078934 A026496
KEYWORD
nonn,easy
AUTHOR
R. J. Mathar, Apr 12 2019
STATUS
approved