This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
a(1) = 1 because 1 divides the sum of the first 2 (i.e., a(1) + 1) terms (a(1) + a(2)) for whatever term a(2) > a(1). a(2) = 2 because 2 is the smallest number > a(1) and 2 divides the sum of the first 3 (i.e., a(2) + 1) terms (a(1) + a(2) + a(3)) for whatever term a(3) > a(2) such that 2 divides the sum a(1) + a(2) + a(3); the smallest number > a(2) with this property for a(3) is 3. a(3) = 3. a(4) = 6 because 6 is the smallest number > a(3) such that term a(3) = 3 divides the sum of the first 4 (i.e., a(3) + 1) terms. a(5) = 7 and a(6) = 8 because a(4) < a(5) < a(6) and 6 divides sum of the first 7 (i.e., a(4) + 1) terms (a(1) + a(2) + ... + a(7)) for whatever term a(7) > a(6) such that 6 divides the sum a(1) + a(2) + ... + a(7); the smallest number with this property for a(7) is 9. a(7) = 9.
povisin(v,n) = { forstep(j=n,1,-1, if(v[j] == n, return(j))); (0); }; \\ Here: povisin = position_of_n_in_strictly_increasing_v
A316156list(up_to) = { my(v316156 = vector(up_to), v318872 = vector(up_to), k, s); v316156[1] = v318872[1] = 1; for(n=2, up_to, k = 1+v316156[n-1]; if(povisin(v316156, n-1), s = v318872[n-1]; while((s+k)%(n-1), k++)); v316156[n] = k; v318872[n] = v318872[n-1] + v316156[n]); (v316156); }; \\ Antti Karttunen, Sep 16 2018
Comments