cp's OEIS Frontend

Maple

# Given a sequence b(1), b(2), b(3), ... of nonnegative real numbers, this program computes the first M terms of the lexicographically earliest sequence of positive integers a(1), a(2), a(3), ... with the property that for any n > 0, S(n) = Sum_{k = 1..n} b(k)/a(k) < 1.
# For the present sequence we set b(k) = 2*k - 1.
b := Array(0..100,-1); a := Array(0..100,-1); S := Array(0..100,-1); d := Array(0..100,-1);
for k from 1 to 100 do b[k]:=2*k-1; od:
M:=8;
S[0] := 0; d[0] := 1;
for n from 1 to M do
a[n] := floor(b[n]/d[n-1])+1;
S[n] := S[n-1] + b[n]/a[n];
d[n] := 1 - S[n];
od:
La:=[seq(a[n],n=1..M)]; # the present sequence
Ls:=[seq(S[n],n=1..M)]; # the sums S(n)
Lsn:=[seq(numer(S[n]),n=1..M)];
Lsd:=[seq(denom(S[n]),n=1..M)]; # A376057
Lsd-Lsn; # As a check, by the above theorem, this should (and does) produce the all-1's sequence
# Some small changes to the program are needed if the starting sequence {b(n)} has offset 0, as for example in the case of the Fibonacci or Catalan numbers (see A376058-A376061).