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”).

A330112
Beatty sequence for e^x, where 1/e^x + sech(x) = 1.
3
2, 5, 8, 11, 13, 16, 19, 22, 24, 27, 30, 33, 36, 38, 41, 44, 47, 49, 52, 55, 58, 60, 63, 66, 69, 72, 74, 77, 80, 83, 85, 88, 91, 94, 96, 99, 102, 105, 108, 110, 113, 116, 119, 121, 124, 127, 130, 132, 135, 138, 141, 144, 146, 149, 152, 155, 157, 160, 163
OFFSET
1,1
COMMENTS
Let x be the solution of 1/e^x + sech(x) = 1. Then (floor(n*e^x)) and (floor(n*cosh(x))) 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.
FORMULA
a(n) = floor(n*e^x), where x = 1.01859181977... is the constant in A330111.
MATHEMATICA
r = x /. FindRoot[1/E^x + Sech[x] == 1, {x, 0, 2}, WorkingPrecision -> 200]
RealDigits[r][[1]] (* A330111 *)
Table[Floor[n*E^r], {n, 1, 250}] (* A330112 *)
Table[Floor[n*Cosh[r]], {n, 1, 250}] (* A330113 *)
Plot[1/E^x + Sech[x] - 1, {x, -3, 4}]
CROSSREFS
Cf. A329825, A330111, A330113 (complement).
Sequence in context: A330144 A187341 A329924 * A206911 A093609 A249118
KEYWORD
nonn,easy
AUTHOR
Clark Kimberling, Jan 04 2020
STATUS
approved